Bounded-Time Detection and Recovery from Faults in Large-Scale, Distributed Cyber-Physical Systems