Kolchin, I.; Filippov, S. The Architecture of Bare-Metal Real-Time Microhypervisor and Automated Measurement of Time Response. ICS 2014, 57-67.