Steffen Zschaler

• Composing Model-Based Analysis Tools
• Software Technologies : Applications and Foundations