Text this: Security analysis and resilient control of discrete-event systems

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