Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Ulrich Freund; Erhard Schlenker; Hans-Jörg Wolff (DATE, 2005)