Text this: Contract-based secure and resilient control for industrial cyber-physical systems

__    __   __   __   __   __    _____      _____  
\ \\ / //  \ \\/ //  \ \\/ //  |  ___||   / ___// 
 \ \/ //    \ ` //    \   //   | ||__     \___ \\ 
  \  //      | ||     / . \\   | ||__     /    // 
   \//       |_||    /_//\_\\  |_____||  /____//  
    `        `-`'    `-`  --`  `-----`  `-----`