@book {66272,
	title = {Formal Specification of a Mobile Agent Based Maintenance for Manufacturing System},
	year = {2014},
	month = {2014},
	author = {Khadidja, Abid}
}
