Formal Methods in Manufacturing