1. R. Cardell-Oliver R. Hale and J. Herbert. “An embedding of Timed Transition Systems in HOL”. Formal Methods in System Design, August 1993.
2. Mark Dawson, “The Imperial College Logic Environment”. Technical report, imperial College of Science, Technology and Medicine, 1992.
3. M.Felder, A.Morzenti, “Validating real-time systems by history-checking TRIO specifications”, ACM TOSEM-Transactions On Software Engineering and Methodologies, vol.3, n.4, October 1994.
4. M.Felder, D.Mandrioli, A.Morzenti, “Proving properties of real-time systems through logical specifications and Petri net models”, IEEE TSETransactions of Software Engineering, vol.20, no.2, Feb.1994, pp.127–141.
5. D. Goldshlag, “Mechanizing Unity”. In M. Broy and C.B. Jones, editors, Programming Concepts and Methods, North Holland, 1990.