@article {Cam-TII-10,
	title = {Guest Editorial: Special Section on Formal Methods in Manufacturing},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {6},
	year = {2010},
	month = {May},
	pages = {125-126},
	doi = {10.1109/TII.2010.2042529},
	author = {J. Campos}
}

