Daniel W. Lewis: Hazard detection by a quinary simulation of logic devices with bounded propagation delays. DAC 1972: 157-164