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 https://dl.gi.de/handle/20.500.12116/29437 http://subs.emis.de/LNI/Proceedings/Proceedings81/article4349.html