1. German Federal Bureau of Aircraft Accidents Investigation: Investigation report AX001-1-2/02 (2004)
2. Hall-May, M., Kelly, T.P.: Planes, trains and automobiles — an investigation into safety policy for systems of systems. In: To appear in Proceedings of the 23rd International System Safety Conference (2005)
3. Kelly, T.P.: Arguing Safety—A Systematic Approach to Managing Safety Cases. DPhil thesis, University of York, Heslington, York, YO10 5DD, UK (1998)
4. Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM Symposium on the Foundation of Software Engineering, San Francisco, California, USA, pp. 179–190 (1996)
5. ENTCS;F. Polack,2005