Adaptive fault tolerant systems: reflective design and validation | IEEE Conference Publication | IEEE Xplore