S. Herold, “Compliance between Architecture and Design Models of Component-Based Systems”, ECEASST, vol. 42, Dec. 2011.