Static race detection for device drivers: the Goblint approach. - Vesal Vojdani; Kalmer Apinis; Vootele Rõtov; Helmut Seidl; Varmo Vene; Ralf Vogler (ASE, 2016)