Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)