Formalizing Mobile Cloud Service Migration with Event-B. - Guoping Zhang; Luxi Zhao 003; Weishan Zhang; Kuiyi Yang; Shouchao Tan (UIC/ATC/ScalCom, 2015)