Does anyone know how to model a belt and pinion system, where an open timing belt (not one continuous loop) is fixed to a track and a servo can move up and down the track by using a pulley to maneouver itself down the track/belt?

Like in this video: https://www.youtube.com/watch?v=W2GxLMvkjQw