A Methodology for the Development of Interoperable BIM-based Cyber-Physical Systems | Synapse