Claudia Ermel Hartmut Ehrig Karsten Ehrig Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. 2006 4 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/13 db/journals/eceasst/eceasst4.html#ErmelEE06