BIM-based Code Checking for Construction Health and Safety. (2017)