A preliminary research on software reliability model of Reactor Protection System of High Temperature Gas-Cooled Reactor-Pebble bed Module. - Cong Cui; Duo Li; Chao Guo (FSKD, 2015)