J. M. Dias et al.,  "Cooperative Work Support and Automatic Design Verification in Architecture and Building Construction", in Proc eSM@RT 2002 - Towards a European Knowledge Economy in the Construction & Related Sectors, The European Conf. on Information and Communication Technology Advances and Innovation in the Knowledge Society, University of Salford, UK, Salford, University of Salford, 2002, vol. Part A