1. Damm, W., Schulte, C., Segelken, M., Wittke, H., Higgen, U., Eckrich, M.: Formale verifikation von ascet modellen im rahmen der entwicklung der aktivlenkung. Lecture Notes in Informatics P-34, pp. 340–345 (2003)
2. Baufreton, P., Dupont, F., Lesergent, T., Segelken, M., Brinkmann, H., Strichman, O., Winkelmann, K.: Safeair: Advanced design tools for aircraft systems and airborne software. In: Proceedings of the 2001 International Conference on Dependable Systems and Networks (2001)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
4. LNCS(LNAI);S. Owre,1992
5. Lecture Notes in Computer Science;L.C. Paulson,1994