@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} }