"53a0c0adaf14622ff043305473ec5d93" . "Aymerick Savary" . . "Model-Based Testing"@en . . "Savary" . "Aymerick" . "Event-B"@en . "EMV"@en . "SysML"@en . . "Smart card"@en . . "Vulnerability"@en .