Cartella Sviluppo di protocolli BIM per la Building Performance Simulation nell'ambito della prevenzione incendi: digitalizzazione - model checking e interoperabilità