Intelligent Safety Verification for Pipeline Based on EVALPSN. - Kazumi Nakamatsu; Kenji Kawasumi; Atsuyuki Suzuki (LAPTEC, 2005)