Checking completeness of tests for finite state machines - Simão, Adenilso da Silva; Petrenko, Alexandre (IEEE Transactions on Computers, 2010)