Kumar KN, Cleaveland R, Smolka SA.  1998.  Infinite Probabilistic and Nonprobabilistic Testing?. Foundations of software technology and theoretical computer science: 18th Conference, Chennai, India, December 17-19, 1998: proceedings. :209-209.