Xinghui Zhao, Nadeem Jamali. Temporal Reasoning about Resources for Deadline Assurance in Distributed Systems. In 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy. pages 13-20, IEEE Computer Society, 2010. [doi]