Title: A temporal logic for the specification and verification of real-time systems
First published: 1993