1. Business process execution language (2008), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
2. Business process model and notation (2009), http://www.omg.org/spec/BPMN/1.2
3. Baldoni, R.: A communication-induced checkpointing protocol that ensures rollback-dependency trackability. In: FTCS 1997: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS 1997), Washington, DC, USA, p. 68. IEEE Computer Society, Los Alamitos (1997) ISBN 0-8186-7831-3
4. Baresi, L., Guinea, S., Plebani, M.: Business process monitoring for dependability. In: WADS, pp. 337–361 (2006)
5. Borrego, D., Gómez-López, M.T., Gasca, R.M., Ceballos, R.: Determination of an optimal test points allocation for business process analysis. In: IEEE/IFIP Network Operations and Management Symposium Workshops, BDIM 2010 (2010) ISBN 978-1-4244-6039-7