1. P.G. Bertoli and A. Cimatti P. Traverso. Integrating formal methods into the development cycle of a safety critical embedded software system. In Proceedings of the 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS2000), number 91 in GMD report, pages 187–201, 2000.
2. J. Bowen. Formal Methods in Safety-Critical Standards. Oxford University Computing Laboratory Technical Report, 1995.
3. J. Bowen. The Industrial Take-Up of Formal Methods. Oxford University Computing Laboratory Technical Report, 1995.
4. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 1020 States andBeyond. Information and Computation, 98(2):142–170, June 1992.
5. Lect Notes Comput Sci;A. Chiappini,1999