@inproceedings{BBH2014,
 address = {Miami},
 author = {Jiří Barnat and Petr Bauch and Vojtěch Havel},
 booktitle = {Proceedings of HASE 2014},
 editor = {P. J. Clarke et al.},
 howpublished = {elektronická verze "online"},
 isbn = {978-1-4799-3465-2},
 keywords = {temporal verification; ltl model checking; simulink diagrams},
 language = {eng},
 location = {Miami},
 pages = {81-88},
 publisher = {IEEE Computer Society},
 title = {Temporal Verification of Simulink Diagrams},
 year = {2014}
}