September 21-23, 2015 in Palais des Congrès de Versailles, France
        
        [Proceedings]
        [Sessions]
        [Authors]
        [Schedule]
        [Further material]
        
Title: Model Based Specifications in Aircraft Systems Design
Authors: Martin Kuhn, Martin Otter and Tim Giese
Links: Abstract, Full paper