Gửi tin nhắn: An efficient method for evaluating the effect of input parameters on the integrity of safety systems /Zhang-Chun Tang a,n , Ming J. Zuo