Games for formal design and verification of reactive systems | IEEE Conference Publication | IEEE Xplore