Formal verification of an automotive scenario in service-oriented computing | Publicación