Text this: Using simulation for the validation of high level specifications of control systems

  ____     __   __    ______   __   __   ______   
 |  _ \\   \ \\/ //  /_   _//  \ \\/ // |      \\ 
 | |_| ||   \ ` //   `-| |,-    \ ` //  |  --  // 
 | .  //     | ||      | ||      | ||   |  --  \\ 
 |_|\_\\     |_||      |_||      |_||   |______// 
 `-` --`     `-`'      `-`'      `-`'   `------`