Monitoring Business Constraints with Linear Temporal Logic An Approach Based on Colored Automata

Maggi, F.M., Montali, M., Westergaard, M., Aalst, W.M.P. van der (2011)
BPM (2011), pp. 132-147

Download PDF