Intégration Solibri Model Checker (BCF Connector)