RTJBench: A Real-Time Java Benchmarking Framework. - Marek Prochazka; Andrey Madan; Jan Vitek; Wenchang Liu (Stud. Inform. Univ., 2005)