Model Based Design of Aircraft Systems - Whitepaper