Title: Model Based Specifications in Aircraft Systems Design Authors: Martin Kuhn, Martin Otter and Tim Giese Links: Abstract, Full paper
