1. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT press. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT press.
2. Synthesis of Reactive(1) designs
3. Edmund Clarke Orna Grumberg and Doron A. Peled. 1999. Model Checking. MIT Press. Edmund Clarke Orna Grumberg and Doron A. Peled. 1999. Model Checking. MIT Press.