Formal Methods in Manufacturing | lit.salon