Constraint violation detection: a fundamental part of software cybernetics | IEEE Conference Publication | IEEE Xplore