Shoji Yuen Toshiki Sakabe Yasuyoshi Inagaki An Extension of the Testing Method for Processes Passing Infinite Values. 155-173 1992 conf/napaw/1992 NAPAW db/conf/napaw/napaw1992.html#YuenSI92