Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. and Malka, J. (1998). Method for Measuring Architectural Test Coverage for Design Verification. Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. & Malka, J.