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

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