[ACD93]	Rajeev Alur, Costas Courcoubetis and David L. Dill. Model-Checking in Dense Real-time. Information and Computation, 104(1):2-34, 1993.
[AFM+02]	Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi. TIMES - A Tool for Modelling and Implementation of Embedded Systems. In Proc. of the 8th Conf. TACAS'02, volume 2280 of LNCS, pages 460-464. Springer Verlag, 2002.
[BCP+01]	V. Bertin and E. Closse and M. Poize and J. Pulou and J. Sifakis and P.Venier and D. Weil and S. Yovine. Taxys = Esterel + Kronos - A tool for verifying real-time properties of embedded systems. In Proc. of Conf. CDC'01. IEEE Control Systems Society, 2001.
[BDM+98]	M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis and S. Yovine. Kronos: A Model-Checking Tool for Real-Time Systems. In Proc. of the 10th Intl. Conf. CAV'98. Springer Verlag, 1998.
[DAC99]	Matthew B. Dwyer, George S. Avrunin and James C. Corbett. Patterns in property specifications for finite-state verification. In Proc. of the 21th ACM/IEEE ICSE'99, pages 411-420. ACM Press, 1999.
[JCTG96]	J. C. Fernandez, C. Jard, T. Jeron and G. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proc. of 8th Intl. Conf. CAV'96, volume 1102 of LNCS, pages 348-359. Springer Verlag, 1996.
[GM03]	D. Giannakopoulou and J. Magee Fluent Model Checking for Event-Based Systems. In Proc. of the ACM/SIGSOFT Intl. Conf. ESEC/FSE 2003, pages 257-266. ACM, September 2003.
[HM02]	D. Harel and R. Marelly. Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In Proc. of the 10th IEEE/ACM Intl. Symp. MASCOTS'02, pages 193-202. IEEE Computer Society, 2002.
[HR01]	K. Havelund and G. Rosu. Monitoring Java programs with Java PathExplorer. In Proc. of the 1st Intl. Workshop RV'01, volume 55. ENTCS, Elsevier, 2001.
[SHE01]	Margaret H. Smith, Gerard J. Holzmann and Kousha Etessami. Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. In Proc. of the 5th IEEE Intl. Symp. RE'01, pages 14-22, 2001.
[UKM02]	S. Uchitel, J. Kramer and J. Magee. Negative scenarios for implied scenario elicitation. In Proc. of the 10th ACM/SIGSOFT Intl. Conf. FSE'02, pages 109-118. ACM Press, 2002.