Java virtual-machine support for portable worst-case execution-time analysis | IEEE Conference Publication | IEEE Xplore