Control-Based Operating System DesignAlberto Leva, Martina Maggio, Alessandro Vittorio Papadopoulos, Federico Terraneo · First published 2013Open the Tome
