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

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