Text this: State space reduction for sensor networks using two-level partial order reduction

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