ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques - Ruivo, Catarina; Viana, D. L.; Morais, F.; Carvalho, Isabel Cristina; Vaz, J. V. (Proceedings of the 5th International Symposium Formal Methods in Architecture, 2020)