Towards a Calculus for Distributed, Real-Time and Mobile Systems. - Toufik Messaoud Maarouk; Djamel-Eddine Saïdouni; Mohamed Khergag (J. Softw., 2012)