Systems engineering approach to design and modelling of smart cities | IEEE Conference Publication | IEEE Xplore