Methodology for the generation of 3D city models and integration of HBIM models in GIS: Case studies | Publicación