Transdisciplinary digital change: science and architecture - Correia, Ricardo Mendes; Paio, A.; Brandão, Filipe J.S. (4th International Symposium Formal Methods in Architecture, 2018)