本杰明·比特纳 马可·波扎诺 亚历山德罗·西马蒂 定时故障传播图的自动合成。 972-978 2016 国际JCAI http://www.ijcai.org/Abstract/16/142 conf/ijcai/2016 db/conf/ijcai/ijcai 2016.html#BittnerBC16