The OpenMP API for High Integrity Systems | Publicación