Modeling and verification of the Multi-connection Tactile Internet Protocol | Publicación