Proteus: a flexible infrastructure to implement adaptive fault tolerance in AQuA | IEEE Conference Publication | IEEE Xplore