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