Kazumi Hatayama Kazunori Hikone Mitsuji Ikeda Terumine Hayashi Sequential Test Generation Based on Real-Value Logic. 41-48 1992 conf/itc/1992 ITC db/conf/itc/itc1992.html#HatayamaHIH92