A Pragmatic, Systematic And Flexible Synthesis For Testability Methodology. - Vladimir Castro Alves; A. Ribeiro Antunes; Meryem Marzouki (Asian Test Symposium, 1996)