Formal methods for smart cards: an experience report
scientific article; zbMATH DE number 2167612