"A Framework for the Design for Testability of Communication Protocols."

Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics