MOBICHARTS: a notation to specify mobile computing applications | IEEE Conference Publication | IEEE Xplore