SMART: A process-oriented methodology for resilient smart cities | IEEE Conference Publication | IEEE Xplore