Therese Berg Bengt Jonsson Harald Raffelt Regular Inference for State Machines with Parameters. 107-121 2006 conf/fase/2006 FASE http://dx.doi.org/10.1007/11693017_10 db/conf/fase/fase2006.html#BergJR06