Executing Model Checking Counterexamples in Simulink. - Jiri Barnat; Lubos Brim; Jan Beran; Tomas Kratochvila; Italo R. Oliveira (TASE, 2012)