On Augmented OBDD and Performability for Sensor Networks
JOHANNES U. HERRMANN, SIETENG SOH, SURESH RAI, and GEOFF WEST
Int J Performability Eng . 2010, (4): 331 -342 .  DOI: 10.23940/ijpe.10.4.p331.mag