Formal Specification of a Mobile Agent Based Maintenance for Manufacturing Systems