Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and