Automated addition of fault recovery to cyber-physical component-based models.