1. Rajeev Alur , Costas Courcoubetis , Nicolas Halbwachs , Thomas A Henzinger , P-H Ho , Xavier Nicollin , Alfredo Olivero , Joseph Sifakis , and Sergio Yovine . 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138, 1 ( 1995 ), 3–34. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, P-H Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138, 1 (1995), 3–34.
2. Alternating refinement relations
3. Self-triggered stabilization of homogeneous control systems
4. Comparison of Riemann and Lebesgue sampling for first order stochastic systems
5. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press.