贝特里斯·贝拉德 谢尔盖·哈达德 马修·萨索拉斯 中断时间自动机的实时属性。 69-76 2010 时间 https://doi.org/10.109/TIME.2010.11 https://doi.ieecomputersociety.org/10.1109/TIME.2010.11 conf/time/2010 db/conf/time/time2010.html#BerardHS10