Formal Specification of a Mobile Agent Based Maintenance for Manufacturing Systems - Hanane, Zermane (2013)