Timed Specifications for the Development of Real-time Systems.

Jacques Jaray Timed Specifications for the Development of Real-time Systems. 67-83 1988 conf/ftrtft/1988 FTRTFT db/conf/ftrtft/ftrtft1988.html#Jaray88