Formalising policies of a mLearning system using CCA. - Mohammed Al-Sammarraie; François Siewe; Hussein Zedan (CASEMANS@Ubicomp, 2010)