@article{GawlitzaS14,
  author = {Thomas Martin Gawlitza and Helmut Seidl},
  title = {Numerical invariants through convex relaxation and max-strategy iteration},
  journal = {Formal Methods in System Design},
  year = 2014,
  pages = {101--148},
  volume = {44},
  number = {2},
  doi = {10.1007/s10703-013-0190-8},
}