Worst-case memory consumption analysis for SCJ. - Jeppe L. Andersen; Mikkel Todberg; Andreas Engelbredt Dalsgaard; René Rydhof Hansen (JTRES, 2013)