Game refinement theory and its application to score limit games | IEEE Conference Publication | IEEE Xplore