Formal Methods In Manufacturing