J. Chen, M. Duflot, and S. Merz, “Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations”, ECEASST, vol. 70, Nov. 2014.