Development of dynamic fault tree model for reactor protection system