@article{FrielinghausFORM17, author = {Stefan {Schulze Frielinghaus} and Helmut Seidl and Ralf Vogler}, title = {Enforcing {T}ermination of {I}nterprocedural {A}nalysis}, journal = {Formal Methods in System Design}, year = 2017, doi = {10.1007/s10703-017-0288-5}, }