Development of Controllers Using Simulink and Contract-Based Design

Advances in Computer and Electrical Engineering
doi 10.4018/978-1-60960-747-0.ch008