Text this: Verification of orchestration systems using compositional partial order reduction

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