Un modello HBIM per la catalogazione dei restauri e la gestione degli interventi:la Rocca estense di San Martino in Rio