Static Architecture-Conformance Checking: An Illustrative Overview | IEEE Journals & Magazine | IEEE Xplore