selected publications conference paper Model-Based System Design of Time-Triggered Architectures - Avionics Case Study 2006