Integrating model checking and simulation for protocol optimization | Publicación