Worst-case resource-usage analysis of java card classic editions application bytecode