Antonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong, Osvaldo Carvalho: Design for testability of communication protocols that support coordination loss. ICC 1999: 278-284