The Design of a Microprogrammed Self-Checking Processor of an Electronic Switching System | IEEE Journals & Magazine | IEEE Xplore