Marek Leszak Heinrich P. Godbersen DEAMON: A Tool for Performance-Availability Evaluation of Distributed Systems Based on Function Nets. 152-161 1985 conf/pnpm/1985 PNPM db/conf/pnpm/pnpm1985.html#LeszakG85