1. Enhancing the fault tolerance of workflow management systems;Alonso;IEEE Concurrency,2000
2. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Transactions on Dependable and Secure Computing,2004
3. An integrated approach for the run-time monitoring of BPEL orchestrations;Baresi,2008
4. Contract-based diagnosis for business process instances using business compliance rules.;Borrego,2010
5. Worst-case efficient priority queues;Brodal,1996