On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study - Campos, João R. (2020)