Implementace software na Test Generation a Fault Diagnosis - Sedláček, Jakub (2011)