%0 Journal Article %A Jan Wolte %A Bastian Cramer %A Uwe Kastens %T Animation of Tile-Based Games Automatically Derived from Simulation Specifications %J Computer Science and Information Systems %D 2011 %V 8 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a12/ %F CSIS_2011_8_2_a12