1. Kumar, A., Sabbella, S.R., Barton, R. R.: Managing controlled violation of temporal process constraints. In: 13th International Conference on Business Process Management, pp. 280–296 (2015)
2. Wegener, J., Grochtmann, M.: Verifying timing constraints of real-time systems by means of evolutionary testing. Real-Time Syst. 15(3), 275–298 (1998)
3. Falcone, Y., Havelung, K., Reger, G.: A tutorial on runtime verification. J. Eng. Dependable Softw. Syst. 34, 141–157 (2013)
4. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Exception handling patterns in process-aware information systems. BPM Center Report BPM-06-04, BPMcenter.org (2006)
5. Liu, X., Wang, D., Yuan, D., Wang, F., Yang, Y.: Workflow temporal verification for monitoring parallel business processes. J. Softw.: Evol. Process. 28(4), 286–302 (2016)