OCL Evaluation on AUTOSAR Model