Luis Gabriel Murillo, Simon Wawroschek, Jerónimo Castrillón, Rainer Leupers, Gerd Ascheid: Automatic detection of concurrency bugs through event ordering constraints. DATE 2014: 1-6