A flexible software architecture for high availability computing | IEEE Conference Publication | IEEE Xplore