Verification-Purpose Operating System for Microprocessor System-Level Functions. - Lingkan Gong; Jingfen Lu (IEEE Des. Test Comput., 2010)