Automated object-flow testing of dynamic process interaction models | IEEE Conference Publication | IEEE Xplore