BIM-gerechter Architekturmodellbau, IFC-Austausch mit TWL und Modelchecking mit ARCHICAD und Solibri