Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine Approximated parameterized verification of infinite-state processes with global conditions. 126-156 2009 34 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-008-0062-9 db/journals/fmsd/fmsd34.html#AbdullaDR09