Bartels, B.; Glesner, S.; Göthel, T. Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. eceasst 2010, 30.