@InProceedings{Yueyu2008arbcmair, author = {Yue Yu and Shangping Ren and Ophir Frieder}, title = {Satisfaction Probabilities of Interval-based Timing Constraints}, booktitle = {IEEE Transactions on Computers}, volume = {57}, number = {3}, year = {2008}, month = {March}, pages = {418--432}, }