A Java Card CAP converter in PVS. - Thomas Genet; Thomas P. Jensen; Vikash Kodati; David Pichardie (COCV@ETAPS, 2003)