A measurement framework for improving verification processes. - Christophe Debou; Michael Haux; Stefan Jungmayr (Softw. Qual. J., 1995)