A Verifier for Component-Based Systems