Modeling Game Mechanics With Ceptre. - Chris Martens 001; Alexander Card; Henry Crain; Asha Khatri (IEEE Trans. Games, 2024)