An application of the DESS modeling approach: The Car Speed Regulator