G. Le Lann, U. Schmid: "How to maximize computing systems coverage"; Report for Technical Report 183/1-134, Department of Automation, Technische Universität Wien; 2003.
www.auto.tuwien.ac.at/Projects/W2F/papers.html