1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)
2. Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. Tech. Rep. 96-17, AT and T Research (1996)
3. Lecture Notes in Computer Science;B. Boigelot,1998
4. Lecture Notes in Computer Science;B. Boigelot,1994
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)