Rahim, L.Ab. (2008) Evaluating different processes of translating OCL to PVS using model transformation. In: UNSPECIFIED.