1. Alur, R., & Dill, D.L. (1990). Automata for modeling real-time systems. In Proceedings of the 17th international colloquium on automata, languages, and programming (ICALP’90), England.
2. Model-checking in dense real-time;Alur;Information and Computation,1993
3. Mechatronic design;Amerongen;Mechatronics,2003
4. Baresi, L., Carmeli, S., Monti, A., & Pezzè, M. (1998). PLC programming languages: A formal approach. Automation 98, ANIPLA.
5. PLCTOOLS: Design, formal validation, and code generation for programmable controllers;Baresi;Simulation Software,2000