1. OPENEHR, http://www.openehr.org/home.html (last accessed, July 2011)
2. IBM, BEA, Microsoft, SAP, Siebel. Business process execution language for web services version 1.1 (May 2003)
3. BPEL2PN, http://www2.informatik.hu-berlin.de/top/bpel2pn/ (last accessed, April 2011)
4. Rabbi, F., Mashiyat, A., MacCaull, W.: Model checking workflow monitors and its application to a pain management process. In: Proceedings of 1st International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2011, Johannesburg, South Africa, pp. 110–127 (2011)
5. DiVinE project, http://divine.fi.muni.cz/ (last accessed, October 2011)