Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 - Eloy, Sara; Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira (Springer, 2021)