Alok Jain Kyle L. Nelson Randal E. Bryant Verifying Nondeterministic Implementations of Deterministic Systems. 109-125 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#JainNB96