On the limits of refinement-testing for model-checking CSP
scientific article; zbMATH DE number 6148360
scientific article