Aharon, A., Fournier, L., Gluska, A. , Lichtenstein, Y. & Malka, J.view all authors (1998). Method for Measuring Architectural Test Coverage for Design Verification. Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. & Malka, J. patent no. 5724504