FT-GAIA: the Fault-Tolerant Distributed Simulator