Rosa, Cristian, et al. “A Simple Model of Communication APIs – Application to Dynamic Partial-Order Reduction”. Electronic Communications of the EASST, vol. 35, May 2011, doi:10.14279/tuj.eceasst.35.562.