1. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2003)
2. Bordini, R.H., Visser, W., Fisher, M., Wooldridge, M.: Model checking a reactive planning language for multi-agent systems (2003) (Submitted)
3. Lecture Notes in Computer Science;A. Cimatti,2002
4. Fisher, M., Visser, W.: Verification of autonomous spacecraft control — a logical vision of the future. In: Workshop on AI Planning and Scheduling For Autonomy in Space Applications, co-located with TIME (2002)
5. Holzmann, G.J.: The Spin model checker. IEEE Transaction on Software Engineering 23(5), 279–295 (1997)