"Switching software test environment using MSC."

Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics