selected publications chapter A Formal Approach to Architectural Descriptions – Refining the ISO Standard 42010. Lecture notes in business information processing. 2010