Aivo Jürgenson Jan Willemson Computing Exact Outcomes of Multi-parameter Attack Trees. 1036-1051 2008 OTM Conferences (2) http://dx.doi.org/10.1007/978-3-540-88873-4_8 conf/otm/2008-2 db/conf/otm/otm2008-2.html#JurgensonW08