A real-time interval logic and its decision procedure (1993)

by Y S Ramakrishna, L K Dillon, L E Moser, P M Melliar-Smith, G Kutty
Venue:In Proc. 13th Conf. Foundations of Software Technology and Theoretical Computer Science