Worst-Case Execution Time Based Optimization of Real-Time Java Programs | IEEE Conference Publication | IEEE Xplore