Moving automated compliance checking to the operational phase of the building life-cycle: analysis and feasibility study in the UK | Synapse