R. Catarina et al.,  "ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques ", in Proc. of the 5th Int. Symp. Formal Methods in Architecture, Eloy, Sara and Viana, David Leite and Morais, Franklim and Vaz, Jorge Vieira, Ed., Heidelberg, 2020