Control-based operating system design.
Leva, Alberto.
Institution of Engineering and Technology,
2013.