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