Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek. Model-driven design and validation of embedded software. In Antonia Bertolino, Howard Foster, J. Jenny Li, editors, Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. pages 98-104, ACM, 2011. [doi]
Abstract is missing.