You are about to access our book library "High Level Transition Systems of CSP Specifications: and their Application in Automated Testing full version" .