@misc{misced5a6daf,
title   = {Fault-based testing for refinement in CSP},
author = {Cavalcanti, Ana and Simão, Adenilso da Silva},
year = {2017},
doi = {10.1007/978-3-319-67549-7_2},
publisher = {Springer},
booktitle   = {IFIP International Conference on Testing Software and Systems - IFIP-ICTSS}
}