"Linux over OSMOS": the Secure Hybrid Operating System. - Dmitry P. Zegzhda; Maxim O. Kalinin; Alexander Vovk (Enterprise Information Systems and Web Technologies, 2008)