Analytical Solutions Of Linked Fault Tree Probabilistic Risk Assessments Using Binary Decision Diagrams With Emphasis On Nuclear Safety Applications