David Gluch

• Real-time UNIX systems
• Model-Based Engineering with AADL