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

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