Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. - Daniele Compare; Paola Inverardi; Patrizio Pelliccione; Alessandra Sebastiani (FME, 2003)