A high-level model-checking tool for verifying service agreements | IEEE Conference Publication | IEEE Xplore