RTOS : 抢占式操作系统内核验证 框架的设计和实现

http://staff.ustc.edu.cn/~xyfeng/research/%D0%ED%B7%E5%CE%A8_2016_10_12.pdf