Toufik Messaoud, MAAROUK (2006) Spécification formelle des systèmes mobiles temps réel. Magister thesis, Université de Batna 2.