@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}, }