- Using the FreeRTOS. ARM Cotex-M3 Edition. Richard Barry.
- D.A. Patterson, J. L. Hennessy: Computer Organization and Design.Elsevier 2012. Chapter 5.4.
- A. Silberschatz, G. Gagne, P.B. Galvin. Operating systems concepts. Wiley 2005, Edition 7. Chapter 8.
- Robert P. Goldberg. Survey of Virtual Machines. 1974. [1]
- Gerald J. Popek and Robert P. Goldberg. Formal requirements for virtualizable third generation architectures. Communications of the ACM CACM Homepage archive Volume 17 Issue 7, July 1974 Pages 412-421.
- Slides from VMWare, [2]
- Slides from TU Dresden (Operating Systems Chair), [3]
- Gil Neiger, Amy Santoni, Felix Leung, Dion Rodgers, Rich Uhlig. Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization Intel Technology Journal Volume 10, Issue 3, 2006.
- Petri Nets: Properties, Analysis and Applications Tadao Murata. Proceedings of the IEEE, vol. 99, issue 4, April 1989. pp. 541--580, [4]