Alexander Reder: Inconsistency management framework for model-based development. ICSE 2011: 1098-1101