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