Using Temporal Logic for Prototyping: The Design of a Lift Controller.

Roger Hale Using Temporal Logic for Prototyping: The Design of a Lift Controller. 375-408 1987 conf/tls/1987 Temporal Logic in Specification db/conf/tls/tls1987.html#Hale87