Cost analysis of games, using program logic | IEEE Conference Publication | IEEE Xplore