Development of dynamic fault tree model for reactor protection system. Issue 2 (12th October 2020)