Alexandre Petrenko Sergiy Boroday Roland Groz Confirming Configurations in EFSM Testing. 29-42 2004 30 IEEE Trans. Software Eng. 1 http://csdl.computer.org/comp/trans/ts/2004/01/e0029abs.htm db/journals/tse/tse30.html#PetrenkoBG04