Fault Injection based on a Partial View of the Global State of a Distributed System