因德拉尼尔·萨哈 贾纳丹·米斯拉 苏曼·罗伊0001 基于超时和日历的实时系统有限状态建模和验证。 284-299 2007 conf/atva/2007年 ATVA公司 https://doi.org/10.1007/978-3-540-75596-8_21 db/conf/atva/atva2007.html#SahaMR07