On the Synthesis of Finite-State Machines from Samples of Their Behavior | IEEE Journals & Magazine | IEEE Xplore