Bertrand Jeannet Thierry Jéron Vlad Rusu Model-Based Test Selection for Infinite-State Reactive Systems. 47-69 2006 FMCO http://dx.doi.org/10.1007/978-3-540-74792-5_3 conf/fmco/2006 db/conf/fmco/fmco2006.html#JeannetJR06