The handbook of reliability, maintenance, and system safety through mathematical modeling. (2020)