11.9 Cruise_Control.aadl
A cruise control example, from a control engineer's perspective, and a conceptual design (in progress).