[C5] Montanari A., Ratto E., "Development Interface Tools". Proceedings of the 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991, pp. 969-970.

[C4] Corsetti E., Montanari A., Ratto E., "Time Granularity in Logical Specifications". Proceedings of GULP'91: 6th Conference on Logic Programming, Pisa, Italia, June 1991, pp. 63-77.

[C3] Corsetti E., Montanari A., Ratto E., "A Methodology for Real-Time System Specifications based on Knowledge Representation". In Computational Intelligence III (Proceedings of the International Symposium, Milano, Italia, September 1990), N. Cercone, F. Gardin, G. Valle (Eds.), Elsevier Science Publishers,1991.

[W4] Corsetti E., Crivelli E., Mandrioli D., Montanari A., Morzenti A., Ratto E., San Pietro P., "Dealing with Different Time Scales in Formal Specifications". Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italia, IEEE Computer Society Press, October 1991, pp.92-101.

[W3] Montanari A., Ratto E., Corsetti E., Morzenti A., "Embedding Time Granularity in Logical Specifications of Real-Time Systems". Proceedings of the 3rd IEEE Euromicro Workshop on Real-Time Systems, Paris, France, IEEE Computer Society Press, June 1991, pp.88-97.