← Formal Models for Conflict Resolution and Case Studies