R. F. José et al.,  "Transdisciplinary digital change: science and architecture", in 4th Int. Symp. Formal Methods in Architecture, Porto, 2018