BIM-Based Model Checking: A Scientometric Analysis and Critical Review. - Li, Sihao; Jiang, Ziyang; Xu, Zhao (Applied Sciences (2076-3417), 2025)