On benchmarking the dependability of automotive engine control applications | Publicación