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