Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDD. (6th October 2014)