1. Buchs, D., Costa, S., Hurzeler, D.: Component Based System Modelling for Easier Verification. In: Ezhilchevan, P., Romanovski, A. (eds.) Concurrency in Dependable Computing, pp. 61–86. Kluwer, Dordrecht (2002)
2. Hurzeler, D.: Flexible Subtyping Relations for Component-Oriented Formalisms and their Verification, PhD thesis n.3131, Swiss Federal Institute for Technology Lausanne (November 2004)
3. Lecture Notes in Computer Science;O. Biberstein,2001
4. http://cui.unige.ch/smv/CoopnTools/index.html
5. Diergardt, M., Mock, R.: New Ways of Applying the Petri Net Formalism in Risk Analysis, Technical Report, Swiss Federal Institute of Technology, Zurich (2004)