Generalizing Consistency Checking between Software Views | IEEE Conference Publication | IEEE Xplore