AG-model for design of testable controllersKasirova, LiliaBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 303-306: ill