Sol Ha, Nam-Kug Ku, Myung-Il Roh, "Ontological Modeling and Process Simulation of LNG FPSO Liquefaction Cycle based on DEVS Formalism", Proceedings of ISOPE(International Society of Offshore and Polar Engineers) 2013, Alaska, USA, pp. 950-958, 2013.06.30-07.05