Controlled automation of consistency enforcement | IEEE Conference Publication | IEEE Xplore