1. Guidelines for Clinical Practice: from Development to Use;Institute of Medicine,1992
2. The development of Canadian clinical practice guidelines: a literature review and synthesis of findings;Papadopoulos;JCCA J. Can. Chiropr. Assoc.,2003
3. OMG, UML 2.0 Superstructure Specification (August 2005), document formal/05-07-04. Available at http://www.omg.org/. Last visited: September 2009.
4. The pragmatics of model-driven development;Selic;IEEE Softw.,2003
5. B. Pérez, I. Porres, Verification of clinical guidelines by model checking, in: Proceedings of the 21th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2008), 2008, pp. 114–119.