C
[COG98] Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In FTRTFT'98, Lecture Notes in Computer Science 1486, pages 251-261. Springer-Verlag, September 1998. 
@inproceedings{COG-ftrtft1998,
  author =              {Cardell-Oliver, Rachel and Glover, Tim},
  title =               {A~Practical and Complete Algorithm for Testing
                         Real-Time Systems},
  editor =              {Ravn, Anders P. and Rischel, Hans},
  booktitle =           {{P}roceedings of the 5th {F}ormal {T}echniques in
                         {R}eal-Time and {F}ault-Tolerant {S}ystems
                         ({FTRTFT}'98)},
  acronym =             {{FTRTFT}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1486},
  pages =               {251-261},
  year =                {1998},
  month =               sep,
  doi =                 {10.1007/BFb0055352},
}
List of authors