1. K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In IEEE RTSS 1999 proceedings, 1999.
2. Lect Notes Comput Sci;S. Bornot,2000
3. S. Bornot and J. Sifakis. On the composition of hybrid systems. In International NATO School on “Verification of Digital and Hybrid Systems”, LNCS. Springer Verlag, 1997.
4. Lect Notes Comput Sci;P.A. Hsiung,1999
5. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: A class of decidable hybrid systems. Information and Computation, 736, 1992.