Qingsong Ye Anthony M. Sloane Dominic R. Verity Analysis, Specification and Generation of Mobile Computer Data Synchronisation. 499-506 2005 conf/icmb/2005 ICMB http://doi.ieeecomputersociety.org/10.1109/ICMB.2005.19 db/conf/icmb/icmb2005.html#YeSV05