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