1. Miller, K., MacCaull, W.: Toward web-based careflow management systems. Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue: E-health Interoperability 1(2), 137–145 (2009)
2. Wang, F.: Formal verification of timed systems: A survey and perspective. Proceedings of the IEEE 92, 1283–1305 (2004)
3. Marjanovic, O.: Dynamic verification of temporal constraints in production workflows. In: ADC ’00: Proceedings of the Australasian Database Conference, Washington, DC, USA, pp. 74–81. IEEE Computer Society, Los Alamitos (2000)
4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
5. Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA (1974)