Model based design has proven to be an efficient approach for developing and testing embedded systems. In this work, we attempt to apply this approach to heavy duty vehicles with the goal of implementing a longitudinal ...