1. McDermid, J., Galloway, A., et al.: Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap. In: Proceedings of International Conference on Formal Engineering Methods (ICFEM) 1998. IEEE Press, Los Alamitos (1998)
2. Parnas, D., Madey, J.: Functional Documents for Computer Programs. Science of Computer Programming 25(1) (1995)
3. UK Ministry of Defence, Defence Standard 00-56 Issue 2: Safety Management Requirements for Defence Systems (1996)
4. Australian Department of Defence, Australian Defence Standard Def(Aust) 5679: Procurement of Computer-based Safety Critical Systems (1998)
5. German, A.: Software Static Code Analysis, Lessons Learned. Crosstalk (November 2003)