State Machine Workflow Modeling and Dataflow Analysis | IEEE Conference Publication | IEEE Xplore