Castro, A., Viana, D. L. & Vaz, J. V. (2018). BIM ontologies. In David Leite Viana, Franklim Morais, Jorge Vieira Vaz (Ed.), Formal methods in architecture and urbanism. (pp. 29-44). Newcastle upon Tyne: Cambridge Scholars Publishing.