1. R. Alur, L. de Alfaro, T. Henzinger, and F. Mang. Automating modular verification. In Proceedings of the Tenth International Conference on Concurrency Theory, volume 1664 in LNCS, Springer, pp. 82–97, 1999.
2. Alternating-time temporal logic;Alur;Journal of the ACM,2002
3. Mocha: Modularity in model checking;Alur,1998
4. A. Arnold and D. Niwinski. Rudiments of μ-calculus. Studies in Logic and the Foundations of Mathematics 146. 2001.
5. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: a Model Based Planner. In Proceedings of IJCAI-2001 workshop on Planning under Uncertainty and Incomplete Information, 2001.