1. Babamir, S., M., A Framework for Specifying Safe Behavior of the CIIP Medical System, Advances in Experimental Medicine and Biology, Vol. 696: Software Tools and Algorithms for Biological Systems, Springer-Berlin, 550 pp, ISBN: 978-1-4419-7045-9, Release date: November 29, 2010.
2. Delgado, N., Gates, A. Q., and Roach, S. A., Taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans Softw Eng 30(22):859–872, 2004.
3. Colyer, A., Clement, A., Harley, G., and Webster, M., Eclipse AspectJ: Aspect-oriented programming with AspectJ and the eclipse AspectJ development tools, Addison Wesley, ISBN-10: 0-321-24587-3, 504 pp, 2005.
4. http://www.eclipse.org/aspectj/
5. Nunes, I., Lopes, A., and Vasconcelos, V., 2009. Bridging the gap between algebraic specification and object-oriented generic programming. In Proceedings of 9th International Workshop on Runtime Verification, RV 2009, LNCS 5779, Springer, pp. 115–131.