Ab. Rahim, L. (2008) Mapping from OCL/UML metamodel to PVS metamodel. In: UNSPECIFIED.