Property decomposition to speed up analysis. - Francesco Calzolari; Mauro Pezzè (RTS, 1995)

The Evolution of MML/MME towards Real Time and Heterogeneous Systems. - Francesco Calzolari; Stefano Crespi-Reghizzi; Luca Cicognani; Giorgio Bossi (EUROMICRO, 1997)

A non-temporized approach for temporized analysis. - Francesco Calzolari; Mauro Pezzè (ECRTS, 1998)