Formal modelling and validation of a novel building information model. - Linlin Kong; Qiliang Yang; Qizhen Zhou; Jianchun Xing; Yin Chen (Adv. Eng. Softw., 2024)