1. Model Checking;Clarke,1999
2. The temporal logic of programs;Pnueli,1977
3. Temporal and modal logic;Emerson,1990
4. Verification of multiagent systems via unbounded model checking;Kacprzak,2004
5. Introduction to Multiagent Systems;Wooldridge,2001