S. E. Rodrigues et al.,  Formal Methods in Architecture Proc. of the 5th Int. Symp. on Formal Methods in Architecture (5FMA), Lisbon 2020, Lisboa, Springer, 2021