Bill Mitchell: Lazy buffer semantics for partial order scenarios. Autom. Softw. Eng. 14(4): 419-441 (2007)