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