Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule | Publicación