VELOS: a new approach for efficiently achieving high availability in partitioned distributed systems | IEEE Journals & Magazine | IEEE Xplore