@inproceedings{Die2002,
Author = {Dierks, H. and Lettrari, M.},
Title = {Constructing Test Automata from Graphical Real-Time Requirements},

Year = {2002},
Pages = {433-453},
Month = {01},
Editor = {Springer Verlag},
Publisher = {Springer Verlag},
Series = {LNCS},
Booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }