Peter Kearney, John Staples, A. Abbas. Functional Verification of Hard Real-Time Programs. In Jan van Leeuwen, editor, Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-12 of IFIP Transactions, pages 113-119, North-Holland, 1992.
Abstract is missing.