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)

Quality Measurement of Software Products: an Experience about a Large Automation System. - Andrea Spinelli; Daniela Pina; Paolo Salvaneschi; Ernani Crivelli; Roberto Meda (Objective Software Quality, 1995)

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)