Functional Verification of Hard Real-Time Programs. - Peter Kearney; John Staples; Abdu Abbas (IFIP Congress (1), 1992)