Work

A Tool for Collaborative Consistency Checking During Modeling