Narayana, K. T. and Aaby, A. A., "Specification of Real-Time Systems in Real-Time Temporal Interval Logic", Proceedings of Real-Time Systems Symposium, December 1988.
author author author author author author author title title title title title title title title title booktitle booktitle booktitle booktitle booktitle date date