11.10 CockpitDisplay.aadl
A simple cockpit display system example.