Andrea Bobbio Stefania Montani Luigi Portinale Parametric Dependability Analysis through Probabilistic Horn Abduction. 65-72 2003 conf/uai/2003 UAI db/conf/uai/uai2003.html#BobbioMP03