Translating MFM into FOL: towards plant operation planning | Read Paper on Bytez