Highly available process support systems: implementing backup mechanisms | IEEE Conference Publication | IEEE Xplore