[W2] Corsetti E., Montanari A., Ratto E., "A Methodology for an Incremental, Logical Specification of Real-Time Systems". Proceedings of the 2nd IEEE Euromicro Workshop on Real-Time Systems, Horsholm, Denmark, IEEE Computer Society Press, May 1990, pp.87-94 (also in Relazione di Ricerca CNR N.6/17, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 6).