Title: Reconfiguration in robust distributed real-time systems based on global checkpoints