Leva Alberto, Maggio Martina, Papadopoulos Alessandro Vittorio, Terraneo Federico. Control-Based Operating System Design

London: The Institution of Engineering and Technology, 2013. — 218 p. — ISBN 9781849196093.A byte of systems theory.
Modelling for computing systems.
A byte of basic control theory.
Scheduling.
Memory management.
Resource allocation.
Power-awareness.
An experimental OS: Miosix.
Future perspectives and cyber-physical systems.