selected publications academic article The OpenMP API for High Integrity Systems. Ada letters. 40:48-50. 2021