Runtime Monitoring of Message-Based Workflows with Data | IEEE Conference Publication | IEEE Xplore