Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. - Alessandro Mignogna; Massimo Conti; M. D'Angelo; Massimo Baleani; Alberto Ferrari (DSD, 2008)

Scalable virtual prototyping of distributed embedded control in a modern elevator system. - Alberto Ferrari; Marco Carloni; Alessandro Mignogna; Francesco Menichelli; David Ginsberg; Eelco Scholte; Dang Nguyen 005 (SIES, 2012)

SoS contract verification using statistical model checking. - Alessandro Mignogna; Leonardo Mangeruca; Benoît Boyer; Axel Legay; Alexandre Arnold (AiSoS, 2013)