Architectural Mismatch Detection between Component and Aspect Based on Finite Automata | IEEE Conference Publication | IEEE Xplore