Runtime errors occurring sporadically in automotive control units are often hard to detect. A common reason for such errors are critical race conditions. The