A Model-Based Methodology to Generate Code for Timer Units. - Marco Marazza; Francesco Menichelli; Mauro Olivieri; Orlando Ferrante; Alberto Ferrari (ApplePies, 2014)

Model based generation of high coverage test suites for embedded systems. - Orlando Ferrante; Alberto Ferrari; Marco Marazza (ETS, 2014)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017)