马可·波扎诺 故障管理系统设计中的因果关系和时间依赖性。 ETAPS坝顶 2017 39-46 日记账/corr/abs-1710-02770 https://doi.org/10.4204/EPTCS.259.4 http://arxiv.org/abs/1710.03392 db/series/eptcs/eptcs259.html#abs-1710-03392