1. Åberg, R.A., Lawall, J.L., Südholt, M., Muller, G., Meur, A.-F.L.: On the automatic evolution of an OS kernel using temporal logic and AOP. In: Proc. of Automated Software Engineering (ASE 2003). IEEE, Los Alamitos (2003)
2. Allan, C., Avgustinov, P., Simon, A., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: OOPSLA 2005, San Diego, California, USA (October 2005)
3. Lecture Notes in Computer Science;R. Armoni,2002
4. Lecture Notes in Computer Science;I. Beer,2001
5. Bodden, E.: J-LO, a tool for runtime checking temporal assertions. Master’s thesis, RWTH Aachen University, Germany (2005), available from:
http://www-i2.informatik.rwth-aachen.de/JLO/