Towards model checking of computer games with Java PathFinder | IEEE Conference Publication | IEEE Xplore