Applications of Temporal Logic to the Specification of Real-time Systems.

Amir Pnueli Eyal Harel Applications of Temporal Logic to the Specification of Real-time Systems. 84-98 1988 conf/ftrtft/1988 FTRTFT db/conf/ftrtft/ftrtft1988.html#PnueliH88