Dynamic ceiling priorities in GNAT implementation report | Publicación