David Harel Itai Segall Hillel Kugler Yaki Setty Crafting game-models using reactive system design. 121-128 2008 Future Play http://doi.acm.org/10.1145/1496984.1497005 conf/fplay/2008 db/conf/fplay/fplay2008.html#HarelSKS08