MIDETT: Microprogrammed-system design technique and tools. - M. Annunziata; Lorenzo Lisca; Giacomo R. Sechi (MICRO, 1986)

Microprogramming in multiprocessor data acquisition system. - Sergio D'Angelo; Lorenzo Lisca; Alberto Proserpio; Giacomo R. Sechi (MICRO, 1988)

An abstract description generator for the reliability analysis in the design of real time systems. - Elisabetta Binaghi; Lorenzo Lisca; Alberto Proserpio; Giacomo R. Sechi (Microprocess. Microprogramming, 1988)