Analysis, specification and generation of mobile computer data synchronisation | IEEE Conference Publication | IEEE Xplore