The Event Sequence Diagram framework for dynamic Probabilistic Risk Assessment · Study