1. Repairing multi-player games;Almagor,2015
2. Reactive modules;Alur;Form. Methods Syst. Des.,1999
3. Alternating-time temporal logic;Alur;J. ACM,2002
4. MOCHA: modularity in model checking;Alur,1998
5. Playing games with boxes and diamonds;Alur,2003