1. A. Alborghetti, A. Gargantini, A. Morzenti, Providing automated support to deductive analysis of time critical systems, Proc. 6th European Software Engineering Conf., 1997.
2. M. Archer, C. Heitmeyer, Mechanical verification of timed automata: a case study, Proc. Real-Time Technology and Applications Symp., 1996, pp. 192–203.
3. M. Archer, C. Heitmeyer, Human-style theorem proving using PVS, Proc. 10th Internat. Conf. on Theorem Proving in Higher Order Logics, August 1997, pp. 33–48.
4. R. Boulton, A. Gordon, M. Gordon, J. Harrison, J. Herbert, J. Van Tassel, Experience with embedding hardware description languages in HOL, Proc. Internat. Conf. on Theorem Provers in Circuit Design, 1992, pp. 129–156.
5. L. Bun, Checking properties of ASTRAL specifications with PVS, Proc. 2nd Ann. Conf. of the Advanced School for Computing and Imaging, 1996, pp. 102–107.