" Control-based operating system design / " Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo.