A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together