Static Architecture-Conformance Checking: An Illustrative Overview. - Leonardo Teixeira Passos; Ricardo Terra; Marco Túlio Valente; R. Diniz; Nabor C. Mendonça (IEEE Softw., 2010)