Design of Fail-Safe Sequential Machines Using Separable Codes | IEEE Journals & Magazine | IEEE Xplore