A Hetero-functional Graph Theory for Modeling Interdependent Smart City Infrastructure - Schoonenberg (Springer International Publishing, 2019)