Chen, J.; Duflot, M.; Merz, S. Analyzing Conflict Freedom for Multi-Threaded Programs With Time Annotations. eceasst 2014, 70.