A Java Card CAP converter in PVS