Supporting industrial use of probabilistic timing analysis with explicit argumentation | Publicación