Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies. - Mario Libro; Stefano Gelain; Franco Fummi (CPS Summer School, PhD Workshop, 2024)