Algorithmic Analysis of Infinite-State Systems. - Naghmeh Hassanzadeh Ghaffari (2009)