Worst-case resource-usage analysis of Java Card classic editions application bytecode. - Luke Dominic Mark Urquhart (2016)