Analytic methods in systems and software testing - Kenett, Ron, (John Wiley & Sons, Inc., 2018)