Text this: Methods for modeling and verifying event-driven systems

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