Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming, 77(4):533-550, 2012. [doi]
Abstract is missing.