S. Bessa, M. Valente, and R. Terra.
" Modular Specification of Architectural Constraints", in <em>Anais do X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, Maringá/PR, 2016, pp. 31-40.