Really Visual Temporal Reasoning (1993)

by Y S Ramakrishna, P M Melliar-Smith, L E Moser, L K Dillon, G Kutty
Venue:In Real-Time Systems Symposium. IEEE Publishers