Lengauer, T., & Näher, S. (1986). An Analysis of Ternary Simulation as a Tool for Race Detection in Digital MOS Circuits. Integration, 4(4), 309-330. doi:10.1016/0167-9260(86)90012-X.