Gomes, Moreira, Déharbe, 2007. Developing Java Card Applications with B 184.. https://doi.org/10.1016/j.entcs.2007.03.016