Hybrid approach for the assessment of PSA models by means of binary decision diagrams | Publicación