1. Model-Checking in Dense Real-Time;Alur;Information and Computation,1993
2. Alur R. and D. L. Dill (1990)., Automata for modeling real-time systems. Proc. of 17th Int. Coll. Automata, Languages, and Programming (ICALP'90), England.
3. Baresi L., M. Mauri, A. Monti and M. Pezzè (2000). PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers. Simulation software.
4. David A., G. Behrmann, K. G. Larsen and W. Yi (2003). A Tool Architecture for the Next Generation of UPPAAL, Technical Report n. 2003-011, Uppsala University, February. 20 pages.
5. Elmqvist E. and S. Mattson (1997). An Introduction to the Physical Modelling Language Modelica. Proceedings of the 9th European Simulation Symposium, ESS'97, Oct 19-23, Passau, Germany.