Identification of structured automata for test evaluation. - K. El. Maadani; Jean Claude Geffroy (VTS, 1991)