Brian Dobbing. The Ravenscar profile for high-integrity Java programs?. In Benjamin M. Brosgol, Michael González Harbour, editors, Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. pages 56-61, ACM, 2000. [doi]