Temporal logic for real-time systems - Ostroff, Jonathan S. (Advanced software development series ;, 1989)