The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. - Denis Sabatier; Pierre Lartigue (Formal Methods Syst. Des., 2000)