Towards an OpenMP Specification for Critical Real-Time Systems | Publicación