THINK: A Software Framework for Component-based Operating System Kernels (2002)

by Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles Muller