Animation of Tile-Based Games Automatically Derived from Simulation Specifications Jan Wolter; Bastian Cramer; Uwe Kastens — 2011 Computer Science and Information Systems