ISL: An Interval Logic for the Specification of Real-time Programs.

Asis Goswami Michael Bell Mathai Joseph ISL: An Interval Logic for the Specification of Real-time Programs. 1-20 1992 conf/ftrtft/1992 FTRTFT db/conf/ftrtft/ftrtft1992.html#GoswamiBJ92