Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.
Massimo BaleaniAlberto FerrariLeonardo MangerucaAlberto L. Sangiovanni-VincentelliUlrich FreundErhard SchlenkerHans-Jörg WolffPublished in: DATE (2005)