Cardona-Rivera, R. E.; Zagal, J. P.; Debus, M. S. Game System Models: Toward Semantic Foundations for Technical Game Analysis, Generation, and Design. AIIDE 2022, 18, 10-17.