@article{DBLP:journals/tc/DiazAA79,
  author    = {Michel Diaz and
               Pierre Az{\'e}ma and
               Jean-Michel Ayache},
  title     = {Unified Design of Self-Checking and Fail-Safe Combinational
               Circuits and Sequential Machines},
  journal   = {IEEE Trans. Computers},
  volume    = {28},
  number    = {3},
  year      = {1979},
  pages     = {276-281},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TC.1979.1675338},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}