Verifying Component and Connector Models against
Crosscutting Structural Views (extended abstract)
S. Maoz, J. Ringert, and B. Rumpe. Softwareengineering & Management 2015, volume P-239 of GI-Edition--Lecture Notes in Informatics (LNI), page 110--111. Bonner Köllen Verlag, (2015)