Embedding time granularity in logical specifications of real-time systems. - Angelo Montanari; Elena Ratto; Edoardo Corsetti; Angelo Morzenti (RTS, 1991)

Dealing with different time scales in formal specifications. - Edoardo Corsetti; Ernani Crivelli; Dino Mandrioli; Angelo Montanari; Angelo Morzenti; Pierluigi San Pietro; Elena Ratto (IWSSD, 1991)

Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. - Edoardo Corsetti; Angelo Montanari; Elena Ratto (Real Time Syst., 1991)

Dealing with Time Granularity in the Event Calculus. - Angelo Montanari; Enrico Maim; Emanuele Ciapessoni; Elena Ratto (FGCS, 1992)

Logical Specification of Real-Time Granular Systems in an Object Oriented Language. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto (IJCAI, 1993)

Specifying industrial real-time systems in a logical framework. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto (ICLP Workshop: Applications of Logic Programming to Software Engineering, 1994)

SImulation of High-Voltage Substations on Parallel ARchitectures. - Oliver Botti; M. Cesana; Edoardo Corsetti; P. Coslett; J. Hammond; F. Maestri; R. Meda; Elena Ratto; G. L. Redaelli; Alan Tully (HPCN Europe, 1996)

Specifying Industrial Real-Time Systems with a Temporal Logic Framework. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto; Ernani Crivelli (Int. J. Softw. Eng. Knowl. Eng., 1996)