Design Methodology for "Smartification" of Cities: Principles and Case Study | IEEE Conference Publication | IEEE Xplore