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