Formal Methods in Manufacturing Systems - Recent Advances | lit.salon