Library of models to test connected FMUs leading to mixed Real/Boolean systems of equations over connected FMUs during initialization