Alexandre Petrenko Sergiy Boroday Roland Groz Confirming configurations in EFSM. 5-24 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#PetrenkoBG99