Solution of Phased-Mission Benchmark Problem Using the SimPRA Dynamic PRA Methdology (PSAM-0345)