selected publications academic article System of safety-critical embedded Architecture Patterns 2013 Domain Specific Language Architecture for Automation Systems: An Industrial Case Study 2012