An Algebraic Approach for Managing Inconsistencies in Software Processes,