Verification of orchestration systems using compositional partial order reduction - Tan, T.H. (2013)
10.1007/978-3-642-24559-6_9