This website is a work in progress and provides the verification argument for the clock synchronization function of the TwIRTee rover.