@article{Murray_13, author = {Murray, Toby}, doi = {10.1007/s00165-011-0183-6}, journal = {Formal Aspects of Computing}, keywords = {refinement-testing, expressiveness, csp, model-checking, hyperproperties.}, month = feb, number = {2}, pages = {219--256}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/4907.pdf}, title = {On the Limits of Refinement-Testing for Model-Checking {CSP}}, volume = {25}, year = {2013} }