1. An overview of HP-SL;Bear,1991
2. Bowen, J. P., and Stavridou, V. (1992). Safety-critical systems, formal methods and standards. Technical Report PRG-TR-5–92, Oxford University Computing Laboratory, UK. Submitted to Software Engineering Journal.
3. Butler, R. W., and Finelli, G.B. (1991). The infeasibility of experimental quantification of life-critical software reliability. Proc. ACM SIGSOFT 1991 Conference on Software for Critical Systems, Software Engineering Notes, ACM Press, 16(5), pp. 66–76.
4. Guiho, G., and Hennebert, C. (1990). SACEM software validation. Proc. 12th International Conference on Software Engineering, IEEE Computer Society Press, pp. 186–191.
5. Achieving high integrity of process control software by graphical design and formal verification;Halang;Software Engineering Journal,1992