Vered Gafni Amiram Yehudai Yishai A. Feldman Activation-Oriented Specification of Real-Time Systems. 268-287 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#GafniYF94 http://dx.doi.org/10.1007/3-540-58468-4_170