Ruggeri, Fabrizio2022-03-022022-03-022018978-1-119-27150-5978-1-119-48736-4https://publica.fraunhofer.de/handle/publica/163074Analytic Methods in Systems and Software Testing