Text this: OPTIMAL CONTROLLER SYNTHESIS FOR TIMED SYSTEMS.