1. Lecture Notes in Computer Science;J.-R. Abrial,2006
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (May 2008)
3. Beizer, B.: Software Testing Techniques, 2nd edn. Thomson (1990)
4. Biehl, M., DeJiu, C., Törngren, M.: Integrating safety analysis into the model-based development tool chain of automotive embedded systems. In: LCTES 2010, Stockholm, Sweden (April 2010)
5. Börcsök, J.: Funktionale Sicherheit: Grundzüge sicherheitstechnischer Systeme, 3rd edn. VDE-Verlag (May 2011)