Hybrid approach for the assessment of PSA models by means of binary decision diagrams · Study