Leva, A. Et.allà Control based operating system design - London The Institution of Engineering and Technology 2013 - xviii, 196p. ISBN: 978-1-849-19609-3