Optimal spare management via statistical model checking: a case study ...