@inbook{BBBKR2012,
 address = {Berlin, Heidelberg},
 author = {Jiří Barnat and Jan Beran and Luboš Brim and Kratochvíla Tomáš and Ročkai Petr},
 booktitle = {Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings},
 doi = {10.1007/978-3-642-32469-7_6},
 editor = {Stoelinga, Mari{\"e}lle
and Pinger, Ralf},
 isbn = {978-3-642-32469-7},
 pages = {78--92},
 publisher = {Springer Berlin Heidelberg},
 title = {Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs},
 url = {http://dx.doi.org/10.1007/978-3-642-32469-7_6},
 year = {2012}
}