Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule | IEEE Conference Publication | IEEE Xplore