Ermel, C.; Ehrig, H.; Ehrig, K. Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 2006, 4.