Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costs | Publicación