Kozo Okano Yuko Kitahama Akira Kitajima Teruo Higashino Kenichi Taniguchi Formal Verification of CPU in Laboratory Work. 32-34 2001 conf/mse/2001 MSE http://computer.org/proceedings/mse/1156/11560032abs.htm db/conf/mse/mse2001.html#OkanoKKHT01