@article{article755b30c2,
title   = {Fault-based refinement-testing for CSP},
author = {Cavalcanti, Ana and Simão, Adenilso da Silva},
year = {2019},
doi = {10.1007/s11219-018-9431-9},
journal   = {Software Quality Journal}
}