Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS
Construction of a Highly Dependable Operating System