@inproceedings{BBBKO2012,
 address = {Neuveden},
 author = {Jiří Barnat and Luboš Brim and Jan Beran and Tomáš Kratochvíla and Italo Romani de Oliveira},
 booktitle = {IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering},
 editor = {Tiziana Margaria, Zongyan Qiu, and Hongli Yang},
 howpublished = {tištěná verze "print"},
 isbn = {978-0-7695-4751-0},
 keywords = {LTL Model Checking; Simulink; Embedded Systems; DiVinE},
 language = {eng},
 location = {Neuveden},
 pages = {245-248},
 publisher = {IEEE Computer Society},
 title = {Executing Model Checking Counterexamples in Simulink},
 year = {2012}
}