A high-level checkpointing and migration scheme for heterogeneous distributed systems - T. J. Redhead (1996)