Software Architecture for Testing, Coordination and Views Model Checking