@book {66659,
	title = {Formal Specification of a Mobile Agent Based Maintenance for Manufacturing Systems},
	year = {2013},
	month = {2013},
	author = {Hanane, Zermane}
}
