Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. In: Reachability Problems: Proceedings of the 5th International Workshop, RP 2011. Lecture Notes in Computer Science, 6945 . Springer, pp. 165-179. ISBN 978-3-642-24287-8 (2011)