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