Heavy Neutral Leptons in the NRSMEFT and the High-Luminosity LHC | Publicación