Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears | IEEE Conference Publication | IEEE Xplore