S. Jim'enez

Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 1: The LBNF and DUNE Projects

R.Gill, C.Zhang, A.Hahn, 2015 .

Deep Underground Neutrino Experiment (DUNE), Far Detector Technical Design Report, Volume I: Introduction to DUNE

V. P. Luzio, J. I. Crespo-Anadón, A. Aurisano, 2020, 2002.02967.

Synthesis of Procedural Models for Deterministic Transition Systems

Javier Segovia Aguas, Jonathan Ferrer-Mestres, S. Jim'enez, 2023, arXiv.org.