Controller Synthesis under Deadline Misses