An incremental model repair approach to timed discrete event systems