Safety, liveness, and information flow: dependability revisited

Beneson, Zinaida; Freiling, Felix C.; Holz, Thorsten; Kesdogan, Dogan; Draque Penso, Lucia (2006): Safety, liveness, and information flow: dependability revisited. ARCS'06, 19th International Conference on Architecture of Computing Systems. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-175-7. pp. 56-65. Regular Research Papers. Frankfurt am Main. March 16, 2006