"Distributed Testing of Multi Input/Output Transition System."

Zhongjie Li, Xia Yin, Jianping Wu (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics