Supporting industrial use of probabilistic timing analysis with explicit argumentation | IEEE Conference Publication | IEEE Xplore