Bessa, Sândalo, Marco Tulio Valente, and Ricardo Terra. " Modular Specification of Architectural Constraints." Anais do X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, Maringá/PR, 2016. SBC, 2016, pp.31-40.