Nikos Tziritas Thanasis Loukopoulos Petros Lampsas Spyros Lalis Formal Model and Scheduling Heuristics for the Replica Migration Problem. 305-314 2008 Euro-Par http://dx.doi.org/10.1007/978-3-540-85451-7_33 conf/europar/2008 db/conf/europar/europar2008.html#TziritasLLL08