Simulation-based Verification of UML models. - Luigi Lavazza; Giuseppe Occorso (SEKE, 2003)

Towards UML-based formal specifications of component-based real-time software. - Vieri Del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso (Int. J. Softw. Tools Technol. Transf., 2007)