You are about to access our book library "Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472) full version" .