Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti. Embedding time granularity in logical specifications of real-time systems. In Euromicro '91 Workshop on Real Time Systems, RTS 1991, Université Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings. pages 88-97, IEEE, 1991. [doi]
Abstract is missing.