1. Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, J., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: abc: an extensible aspectj compiler. Trans. Aspect-Oriented Softw. Dev. 1, 293–334 (2006). LNCS 3880
2. Bergmans L., Aksit M.: Composing crosscutting concerns using composition filters. CACM 44, 51–57 (2001)
3. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: an OpenSource tool for symbolic model checking. In: Proceedings of International Conference on Computer-Aided Verification (CAV 2002). LNCS, vol. 2404, Copenhagen, Denmark. Springer, July 2002
4. Clarke E.M. Jr, Grumberg O., Peled D.A.: Model Checking. MIT Press, Cambridge (1999)
5. Dror, E., Katz, E., Katz, S., Staijen, T.: The revised architecture of the cape. Technical report, AOSD Europe, August 2006