B. Marques et al.,  Formal Methods in Architecture: Proc. of the 7th Int. Symp. on Formal Methods in Architecture (7FMA), Porto 2024, Springer, 2025