In Model-Based Systems Engineering (MBSE) key artifacts are executable systems model. Continuous verification of system models is an essential part of the process. Model simulation plays an important role to continuously verify the dynamic behavior of the models. Model-based Testing (MBT) supports these verification activities by providing a systematic approach and a high degree of automation by re-using use case scenarios derived from systems models. System engineers can use such scenarios for automated verification of refined models against higher-level descriptions. This presentation shows how model-based test-infrastructure and test cases can be generated from system models in order to enable a thorough and automated verfication of the dynamic model behavior. The application will be demo'ed using tools IBM Rhapsody and its MBT components.