И. В. Колчин и С. Н. Филиппов, Архитектура автономного микро- гипервизора реального времени и автоматизированное измерение его временных характеристик, ИУС, вып. 3, сс. 57-67, июн. 2014.