Automated model based testing of hybrid systems door