%0 Journal Article %J IEEE Transactions on Industrial Informatics %D 2010 %T Guest Editorial: Special Section on Formal Methods in Manufacturing %A J. Campos %N 2 %P 125-126 %V 6 %8 May