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