BUCKER: A basic unfolding based checker for soundness of workflow systems | IEEE Conference Publication | IEEE Xplore