@article{YTC+13,
 author = {Boyan Yordanov and Jana Tůmová and Ivana Černá and Jiří Barnat and Calin Belta},
 journal = {Automatica},
 number = {1},
 pages = {261--266},
 title = {Formal analysis of piecewise affine systems through formula-guided refinement},
 url = {http://dx.doi.org/10.1016/j.automatica.2012.09.027},
 volume = {49},
 year = {2013}
}