Using XML to build consistency rules for distributed specifications | IEEE Conference Publication | IEEE Xplore