1. E.A. Strunk, M.A. Aeillo, J.C. Knight, A survey of tools for model checking and model based development, Technical Report, Computer Science Dept., University of Virginia, Charlottsville, June, 2006.
2. MDA Explained, The Model Driven Architecture: Practice and Promise;Kleppe,2003
3. Formal specification of interactions in public health surveillance systems using π-calculus;Baksi;Computer Methods and Programs in Biomedicine,2008
4. Handbook of Medical Informatics,2002
5. Mathematical Logic for Computer Science;Ben-Ari,2008