@book{76208,
	author = {Leva, Alberto},
	title = {Control-based operating system design /},
	publisher = {IET,},
	year = {2013},
	series = {IET control engineering series ;},
	address = {London :}
}