Automated model based testing of hybrid systems by