Translating MFM into FOL: towards plant operation planning

Open in new window