SAVCBS: Specification and Verification of Component-Based Systems