Design of Fail-Safe Asynchronous Sequential Machines - Yu-Dar Fan (1976)