Rosa, C.; Merz, S.; Quinson, M. A Simple Model of Communication APIs – Application to Dynamic Partial-Order Reduction. ECEASST 2011, 35.