WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL | Publicación