Globalplatform card specification v2.1.1

INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.