@article{10.1109/TC.2007.70807,
author = {Yue Yu and Shangping Ren and Ophir Frieder},
title = {Interval-Based Timing Constraints Their Satisfactions and Applications},
journal = {IEEE Transactions on Computers},
volume = {57},
number = {3},
year = {2008},
issn = {0018-9340},
pages = {418-432},
doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2007.70807},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}