Zinaida Benenson Felix C. Freiling Thorsten Holz Dogan Kesdogan Lucia Draque Penso Safety, Liveness, and Information Flow: Dependability Revisited. 56-65 2006 conf/arcs/2006w ARCS Workshops db/conf/arcs/arcsw2006.html#BenesonFHKP06