Rajeev Alur: Games for formal design and verification of reactive systems. MEMOCODE 2006: 3