A Petri-net based validator in reliability of a composite service | IEEE Conference Publication | IEEE Xplore