1. Barnes, J.E.: Experiences in the industrial use of formal methods. In: Romanovsky, A., Jones, C., Bendiposto, J., Leuschel, M. (eds.) AVoCS’11. Electronic Communications of EASST (2011)
2. Bjørner, D.: Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. CTS2003: 10th IFAC Symposium on Control in Transportation Systems (2003)
3. Bjørner D.: Domain Engineering Technology Management, Research and Engineering. Japan Advanced Institute of Science and Technology, Ishikawa (2009)
4. Boulanger J., Gallardo M.: Validation and verification of METEOR safety software. In: Allen, J., Hill, R.J., Brebbia, C.A., Sciutto, G., Sone, S. (eds) Computers in Railways VII. vol. 7., pp. 189–200. WIT Press, Southampton (2000)
5. Bowen J.P., Hinchey M.G.: Ten commandments of formal methods...ten years later. IEEE Comput. 39(1), 40–48 (2006)