Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat. Behavioural Verification in Embedded Software, from Model to Source Code. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke, editors, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Volume 8107 of Lecture Notes in Computer Science, pages 320-335, Springer, 2013. [doi]
Abstract is missing.