00423nam a2200121Ia 4500008004100000100001300041245006600054245004000120260000900160300003200169440004700201650005300248171207s9999    xx            000 0 und d  aWest, R. 2aA Virtualized Separation Kernel for Mixed-Criticality Systems  cR. West Y. Li E. Missimer M. Danish  c2016  apages 15189, September 2016  aACM Transactions on Computer Systemsv34:3  aSeparation kernel, chip-level distributed system