Modeling and verifying strong cache consistency for mobile data access | IEEE Conference Publication | IEEE Xplore