A distributed tool for commitment specification and management | IEEE Conference Publication | IEEE Xplore