Model-Based Design with automatic code generation is increasingly being applied to the design of embedded flight-control systems. This approach involves the use of block diagrams, statecharts, and ...