Herold, S. Compliance Between Architecture and Design Models of Component-Based Systems. ECEASST 2011, 42.