TY  - SER
AU  - Healy, Christopher A.
AU  - Whalley, David B.
TI  - Automatic Detection and Exploitation of Branch Constraints  for  Timing Analysis
KW  - Real-Time Systems
ER  -