JCML: A specification language for the runtime verification of Java Card programs

@article{Costa2012JCMLAS,
  title={JCML: A specification language for the runtime verification of Java Card programs},
  author={Umberto Souza da Costa and Anamaria Martins Moreira and Martin A. Musicante and Pl{\'a}cido A. Souza Neto},
  journal={Sci. Comput. Program.},
  year={2012},
  volume={77},
  pages={533-550}
}