1. Lecture Notes in Computer Science;M. Agrawal,2005
2. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7), 971–984 (2000)
3. Baeten, J.C.M., van Beek, D.A., Cuijpers, P.J.L., et al.: Model-based engineering of embedded systems using the hybrid process algebra χ. ENTCS 209, 21–53 (2008)
4. Beohar, H., Cuijpers, P.J.L., Baeten, J.C.M.: Design of asynchronous supervisors. CoRR, abs/0910.0868 (2009)
5. Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theor. Comput. Sci. 335(2-3), 215–280 (2005)