State space reduction for sensor networks using two-level partial order reduction - Zheng, M. (2014)
10.1007/978-3-642-35873-9_30