Sara Royuela, Luís Miguel Pinho, Eduardo Quiñones: Converging safety and high-performance domains: Integrating OpenMP into Ada. DATE 2018: 1021-1026