This is the same model as ClockedWithDiscreteController. The only difference is that the clock is defined with an exact periodic clock and not with a Real periodic clock.