M. P. Lizancos et al.,  "Some Controversies Around Formalization in Architecture", in Formal Methods in Architecture - proceedings of the 6th Int. Symp. on Formal Methods in Architecture, Springer Nature Singapore, 2023, pp. 35-46