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

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