Improvement of a service level negotiation protocol using formal verification | IEEE Conference Publication | IEEE Xplore