TY - BOOK AU - AU - Leva, Alberto TI - Control-based operating system design SN - 9781849196093 U1 - 005.43 PY - 2013/// CY - London PB - The Institution Of Engineering And Technology KW - Operating systems ER -