Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

On the integration of model-driven design and dynamic assertion-based verification for embedded software. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Andreas Foltinek; Masahiro Fujita; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (J. Syst. Softw., 2013)