S. Bessa, M. Valente, and R. Terra.
" Modular Specification of Architectural Constraints", in <em>Proceedings of the 10th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, Maringá/PR, 2016, pp. 31-40.