Fault-based refinement-testing for CSP - Cavalcanti, Ana; Simão, Adenilso da Silva (Software Quality Journal, 2019)