1. M. Tokoro, Dependable Operating Systems for Embedded Systems Aiming at Practical Applications, 2010 Japan Science and Technology Agency, 2010.
2. R. Alexander, T. Kelly, Z. Kurd, and J. McDer-mid, Safety cases for advanced control software: Safety Case Patterns, Technical report, Department of Computer Science, University of York, 2007.
3. T. Kelly, R. Weaver, The goal structuring notation - a safety argument notation, In Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004.
4. T. Kelly, Arguing Safety - A Systematic Approach to Safety Case Management, Department of Computer Science, University of York, YCST99-05, 1998.
5. GSN contributors. GSN community standard version 1.0, http://www.goalstructuringnotation.info, 2011.