Abstract models for system virtualization. - Tatiana Markina; Mikhail Koveshnikov; Dmitry Bazylev (ICUMT, 2015)