The building information modeling for the retrofitting of existing buildings. A case study in the University of Cagliari