Formalized Representation for Supporting Automated Identification of Critical Assets in Facilities during Emergencies Triggered by Failures in Building Systems | Synapse