@inproceedingsDie2002, 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} @COMMENTBibtex file generated on