"Testing Multi Input/Output Transition System with All-Observer."

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