System verification and assurance : IA169 - Řehák, Vojtěch, 1979- ([Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky], 2019)