Secure Hybrid Operating System "Linux over Fenix". - Dmitry P. Zegzhda; Alex M. Vovk (MMM-ACNS, 2005)