A method to verify the soundness of workflow control logic | IEEE Conference Publication | IEEE Xplore