Formal Verification of UML 2.0 Sequence Diagram. - Sachoun Park; Taeman Han; Gihwon Kwon (SEKE, 2010)

OCL Evaluation on AUTOSAR Model. - Sachoun Park; Taeman Han; Hyoungju Lim; Gihwon Kwon (SEKE, 2010)