Design of Diagnosable Sequential Machines Utilizing Extra Outputs | IEEE Journals & Magazine | IEEE Xplore