This paper studies the synthesis of controllers for
cyber-physical systems (CPSs) that are required to carry out
complex tasks that are time-sensitive, in the presence of an
adversary. The task is specified as a formula in metric interval
temporal logic (MITL). The adversary is assumed to have the
ability to tamper with the control input to the CPS and also
manipulate timing information perceived by the CPS. In order
to model the interaction between the CPS and the adversary, and