Commitment management through constraint reification | IEEE Conference Publication | IEEE Xplore