A probabilistic analysis of coverage methods. - Laurent Fournier; Avi Ziv; Ekaterina Kutsy; Ofer Strichman (ACM Trans. Design Autom. Electr. Syst., 2011)