C. Rosa, S. Merz, and M. Quinson, “A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction”, eceasst, vol. 35, May 2011.