We present efficient algorithms for time-sensitive control dependencies (CDs). If statement y is time-sensitively dependent on x , then decides not only whether executed but also how many timesteps after . standard dependent, will always be the execution time between and varies. This allows us to discover, e.g., timing leaks in security-critical software. systematically develop properties CDs, ...