참고문헌
- Bowen and V. Stavridou (1993). "Safety-critical systems: formal methods and standards," Software Engineering Journal, Vol. 8, pp. 189-209. https://doi.org/10.1049/sej.1993.0025
- Knight, J.C. (2002). "Safety critical systems: challenges and directions," Proceedings of the 24th International Conference on Software Engineering, pp. 547-550.
- Badeau, F. and Amelot, A. (2005). "Using B as a high level programming language in an industrial project: Roissy VAL," ZB, H. Treharne, S. King, M. C. Henson, and S. A. Schneider, Eds. Lecture Notes in Computer Science, Vol. 3455, Springer, Berlin, Heidelberg, pp. 334-354.
- N. Terada and M. Fukuda (2002). "Application of formal methods to the railway signalling systems," Quarterly Report of RTRI, Vol. 43, No. 4 pp. 169-174. https://doi.org/10.2219/rtriqr.43.169
- X. Hei, S. Takahashi and H. Nakamura (2009). "Modelling and analyzing component-based distributed railway interlocking system with petri nets," IEEJ Transactions on Industry, Sec. D, Vol. 129 , No. 5, pp. 455-46. https://doi.org/10.1541/ieejias.129.455
- J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat and M. Verhoef (2005). "Validated Designs for Object-oriented Systems," Springer, New York.
- B. K. Aichernig and P. G. Larson (1997). "A proof obligation generator for VDM-SL," FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science.
- P. G. Larsen, J. Fitzgerald, S. Wolff, N. Battle, K. Lausdahl, A.Ribeiro and K. Pierce (2010). "Tutorial for overture/ VDM++," Overture - Open-source Tools for Formal Modelling TR-2010-03.
- S. Vermolen, J. Hooman and P. G. Larsen (2010). "Automating consistency proofs of VDM++ models using HOL," Proceedings of the 25th Symposium On Applied Computing (SAC 2010), (Sierre, Switzerland), ACM, March.