Modeling smart cities with hetero-functional graph theory | IEEE Conference Publication | IEEE Xplore