Ostroff, J. S., "Temporal Logic for Real-Time Systems", Advanced Software Development Series, England, 1989.
author author author title title title title title booktitle booktitle booktitle booktitle location date