Bessa, Sândalo, Valente, Marco, AND Terra, Ricardo. " Modular Specification of Architectural Constraints" Proceedings of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS) [Online], (19 September 2016)