Timed Parity Games: Complexity and Robustness (Logical Methods in Computer Science, 2011)