selected publications chapter Analyzing Component-Based Systems on the Basis of Architectural Constraints. Lecture Notes in Computer Science. 64-79. 2012