A graph-search based algorithm for verifying workflow graphs | IEEE Conference Publication | IEEE Xplore