S. Tucker Taft, Florian Schanda, Yannick Moy. High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 238-239, IEEE, 2016. [doi]