Exhaustif: a fault injection tool for distributed heterogeneous embedded systems