Towards a formal description of mobile personalized assessment | IEEE Conference Publication | IEEE Xplore