Optimal spare management via statistical model checking: a case study in research reactors. - Reza Soltani 001; Matthias Volk 001; Leonardo Diamonte; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (Int. J. Softw. Tools Technol. Transf., 2025)