Garf: a tool for programming reliable distributed applications | IEEE Journals & Magazine | IEEE Xplore