Cities have always played a prominent role in the prosperity of civilization. Indeed, every great civilization we can think of is associated with the prominence of one or more thriving cities. And so understanding cities -- their inhabitants, their institutions, their infrastructure -- what they are and how they work independently and together -- is of fundamental importance to our collective growth as a human civilization. Furthermore, the 21st century "smart" city, as a result global climate change and large-scale urbanization, will emerge as a societal grand challenge. This book focuses on the role of interdependent infrastructure systems in such smart cities especially as it relates to timely and poignant questions about resilience and sustainability. In particular, the goal of this book is to present, in one volume, a consistent Hetero-Functional Graph Theoretic (HFGT) treatment of interdependent smart city infrastructures as an overarching application domain of engineering systems. This work may be contrasted to the growing literature on multi-layer networks, which despite significant theoretical advances in recent years, has modeling limitations that prevent their real-world application to interdependent smart city infrastructures of arbitrary topology. In contrast, this book demonstrates that HFGT can be applied extensibly to an arbitrary number of arbitrarily connected topologies of interdependent smart city infrastructures. It also integrates, for the first time, all six matrices of HFGT in a single system adjacency matrix. The book makes every effort to be accessible to a broad audience of infrastructure system practitioners and researchers (e.g. electric power system planners, transportation engineers, and hydrologists, etc.). Consequently, the book has extensively visualized the graph theoretic concepts for greater intuition and clarity. Nevertheless, the book does require a common methodological base of its readers and directs itself to the Model-Based Systems Engineering (MBSE) community and the Network Science Community (NSC). To the MBSE community, we hope that HFGT will be accepted as a quantification of many of the structural concepts found in model-based systems engineering languages like SysML. To the NSC, we hope to present a new view as how to construct graphs with fundamentally different meaning and insight. Finally, it is our hope that HFGT serves to overcome many of the theoretical and modeling limitations that have hindered our ability to systematically understand the structure and function of smart cities.