1. Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, and Jan Vitek. 2007. A real-time Java virtual machine with applications in avionics. ACM Transactions on Embedded Computing Systems 7, 1 (dec 2007), 1ś49.
2. John Barnes. 1997. High integrity Ada: the SPARK approach. AddisonWesley Professional.
3. Alan Burns and Andy Wellings. 2009. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (4th ed.). Addison-Wesley Educational Publishers Inc, USA.
4. Brian Dobbing and Alan Burns. 1998. The Ravenscar tasking profile for high integrity real-time programs. ACM SIGAda Ada Letters XVIII, 6 (nov 1998), 1ś6.
5. Stephen Dolan, Servesh Muralidharan, and David Gregg. 2013. Compiler support for lightweight context switching. ACM Transactions on Architecture and Code Optimization 9, 4 (jan 2013), 1ś25.