A State-Based Systemic View of Behavior for Safe Medical Computer Applications. - Luca Pazzi; Marco Pradelli (CBMS, 2008)

Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. - Luca Pazzi; Matteo Interlandi; Marco Pradelli (HASE, 2010)

Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts. - Luca Pazzi; Marco Pradelli (ACSD, 2012)