Solibri Model Checker, (c) Solibri D/A/CH GmbH