Claude Marché and Nicolas Rousset.
Verification of Java Card applets behavior with respect to
transactions and card tears.
In Dang Van Hung and Paritosh Pandya, editors, 4th IEEE
International Conference on Software Engineering and Formal Methods
(SEFM'06), Pune, India, September 2006.