1. Bate, I., Bernat, G., Murphy, G., Puschner, P.: Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework. In: Proceedings of the 6th IEEE Real- Time Computing Systems and Applications RTCSA-2000, December 2000, pp. 39–48 (2000)
2. Bernat, G., Burns, A., Wellings, A.: Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: Proceedings of the 6th Euromicro Conference on Real-Time Systems, June 2000, pp. 81–88 (2000)
3. Bernat, G., Colin, A., Petters, S.: WCET Analysis of Probabilistic Hard Real- Time Systems. In: Proceedings of the 23rd IEEE Real-Time Systems Symposium (December 2002)
4. Bollella, G., Gosling, J., Brosgol, B.M., Dibble, P., Furr, S., Hardin, D., Turnbull, M.: Real-Time Specification for Java. Addison-Wesley, Reading (2000)
5. Chapman, R., Burns, A., Wellings, A.: Integrated Program Proof and Worst- Case Timing Analysis of SPARK Ada. In: Proceedings of the Workshop on Language, Compiler, and Tool Support for Real-Time Systems (June 1994)