1. De Alfaro, L., Formal Verification of Probabilistic Systems, PhD Thesis, Stanford Univ., 1998.
2. Baier, C. and Katoen, J., Principles of Model Checking, Cambridge: MIT, 2008.
3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R., METATEM: An Introduction, in Formal Aspects of Computing, 1995, pp. 533–549.
4. Bordini, R., Fisher, M., Pardavila, C., and Wooldridge, M., Model Checking AgentSpeak, Proc. Conf on Autonomous Agent and Multi Agent Systems-2003, 2003, pp. 409–416.
5. Benerecetti, M., Guinchiglia, F., and Serafini, L., Model Checking Multiagent Systems, Technical Report no. 9708-07, Instituto Trentino di Cultura, 1998.