The Specification and Testing of Quantified Progress Properties in Distributed Systems. - Prakash Krishnamurthy; Paolo A. G. Sivilotti (ICSE, 2001)