On reducing test length for FSMs with extra states - Simão, Adenilso da Silva; Petrenko, Alexandre; Nina Yevtushenko (Software testing, verification and reliability, 2012)