Ermel, Claudia, et al. “Semantical Correctness of Simulation-to-Animation Model and Rule Transformation”. Electronic Communications of the EASST, vol. 4, Dec. 2006, doi:10.14279/tuj.eceasst.4.13.