B
[Bey01] Dirk Beyer. Rabbit: Verification of Real-Time Systems. In RT-TOOLS'01, pages 13-21. August 2001. 
@inproceedings{rttools2001-Bey,
  author =              {Beyer, Dirk},
  title =               {Rabbit: Verification of Real-Time Systems},
  editor =              {Pettersson, Paul and Yovine, Sergio},
  booktitle =           {{P}roceedings of the 1st {W}orkshop on {R}eal-Time
                         {T}ools ({RT-TOOLS}'01)},
  acronym =             {{RT-TOOLS}'01},
  pages =               {13-21},
  year =                {2001},
  month =               aug,
}
List of authors