Automatic Integrity Checking of IFC Models relative to building Regulations. - Jianqiao Gu; Hehua Zhang; Ming Gu 001 (ICIMCS, 2016)