1. Common Methodology for Information Technology Security Evaluation (August 2005), http://www.commoncriteriaportal.org/public/expert/
2. Common Criteria for Information Technology Security Evaluation, Version 3.1 (September 2006), http://www.commoncriteriaportal.org/public/expert/
3. Eclipse - An Open Development Platform (May 2008), http://www.eclipse.org/
4. Eclipse Modeling Framework Project (EMF) (May 2008), http://www.eclipse.org/modeling/emf/
5. Papyrus UML Modelling Tool (January 2010), http://www.papyusuml.org/