The Test Engineer's Assistant: a design environment for testable and diagnosable systems | IEEE Journals & Magazine | IEEE Xplore