Text this: Bounds on Worst-Case Deadline Failure Probabilities in Controller Area Networks