Digital twin and HBIM-to-IoT for smart museum management – the case of the DART Museum Chiostro del Bramante (SCIRES-IT : SCIentific RESearch and Information Technology, 2025)