High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles | IEEE Conference Publication | IEEE Xplore