• IST project REASON : handbook of testing electronic systemsNovak, Ondrej; Gramatova, Elena; Ubar, Raimund-JohannesIEEE Proceedings of the 5th European Dependable Computing Conference : EDCC-5 : Budapest, 20052005 / p. 15-18