Prolog to: Principles and Methods of Testing Finite State Machines - A Survey | IEEE Journals & Magazine | IEEE Xplore