嵌入式控制系统时序安全性建模及验证
范宝文;包健
 
杭州电子科技大学学报 . 2021, (6): 21 -27 .