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