Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014