1. IntroductionModellingSymbolic Model SpecificationA Strategic Planning Model for Energy Efficiency in Public Buildings Emilio L. Cano1 Javier M. Moguerza1 1 Departmentof…