1. Lecture Notes in Computer Science;R. Alur,1998
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Alechina, N., Logan, B.: Verifying bounds on deliberation time in multi-agent systems. In: Proceedings of the Third European Workshop on Multiagent Systems (EUMAS 2005), pp. 25–34 (2005)
4. Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI 1987, pp. 677–682 (1987)
5. Chen, J.R., Cheng, A.M.K.: Predicting the response time of OPS5-style production systems. In: Proceedings of the 11th Conference on Artificial Intelligence for Applications, p. 203 (1995)