@article{BHB2016,
 article_number = {1},
 author = {Petr Bauch and Vojtěch Havel and Jiří Barnat},
 doi = {http://dx.doi.org/10.1007/s11219-014-9259-x},
 issn = {0963-9314},
 journal = {Software Quality Journal},
 keywords = {formal verification; model checking; circuit analysis; satisfiability modulo theories},
 language = {eng},
 title = {Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories},
 volume = {24},
 year = {2016}
}