"Constructing machine emulator on portable microkernel."

Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics