HASILT: An intelligent software platform for HAZOP, LOPA, SRS and SIL verification. - Lin Cui; Yidan Shu; Zhaohui Wang; Jinsong Zhao; Tong Qiu; Wenyong Sun; Zhenqiang Wei (Reliab. Eng. Syst. Saf., 2012)