Emanuele Ciapessoni Edoardo Corsetti Angelo Montanari Pierluigi San Pietro Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. 141-171 1993 20 Sci. Comput. Program. 1-2 db/journals/scp/scp20.html#CiapessoniCMP93