贝特里斯·贝拉德 谢尔盖·哈达德 克劳迪娜·皮卡罗尼 穆罕默德·萨弗里·埃尔丁 马修·萨索拉斯 多项式中断时间自动机。 20-32 2015 RP公司 https://doi.org/10.1007/978-3-319-24537-9_3 conf/rp/2015年 db/conf/rp/rp2015.html#BerardHPDS15