Introducing model-based system testing | Simcenter Solutions