Static race detection for device drivers: The Goblint approach | IEEE Conference Publication | IEEE Xplore