肯罗·亚塔克 青木东崎 基于环境建模的OSEK/VDX操作系统设计模型的模型检查。 183-197 2012 ICTAC公司 https://doi.org/10.1007/978-3642-32943-2_15 conf/ictac/2012 db/conf/ictac/itac2012.html#YatakeA12