Designing a mobile agent based M-maintenance: Formal modelling and simulation. . May, 11-13, Batna, Algeria - Abid Khadidja (ICIEM’14, International Conference on Industrial Engineering and Manufacturing, 2014)