1. Bishop, P., Bloomfield, R.: A Methodology for Safety Case Development. In: The Sixth Safety-critical Systems Symposium, Birmingham, UK (1998)
2. Bresciani, R., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8, 203–236 (2004)
3. Cavada, R., Cimatti, A., Jochim, C.A., Keighren, G., Olivetti, E., Pistore, M., Roveri, M., Tchaltsev, A.: NuSMV User Manual. FBK-irst (2006),
http://nusmv.fbk.eu/NuSMV
4. Safety case development manual. Technical Report, Eurocontrol, DAP/SSH/091 (2006)
5. The Goal Structuring Notation Website - University of York,
http://www.goalstructuringnotation.info