MSC: Translate over_timed state