On identification of input/output extended automata with finite bisimilar quotients | IEEE Conference Publication | IEEE Xplore