Mónica Pinto, Lidia Fuentes, José María Troya Linero: Specifying aspect-oriented architectures in AO-ADL. Inf. Softw. Technol. 53(11): 1165-1182 (2011)