1. Systems Engineering;Alesken,1992
2. The algorithmic analysis of hybrid systems;Alur;Theor. Comput. Sci.,1995
3. The algorithmic analysis of hybrid systems;Alur,1994
4. Concurrent systems: an integrated approach to operating systems;Bacon,2002
5. The Foundations of Esterel;Berry,2000