BIMReason: Validating BIM model correctness. - Zech, Philipp; Burger, Peter; Hammes, Sascha; Geisler‐Moroder, David; Breu, Ruth (Bauphysik, 2024)