@book{347590,
	author = {West, R.},
	title = {A Virtualized Separation Kernel for Mixed-Criticality Systems},
	year = {2016}
}