The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
scientific article; zbMATH DE number 2107871