Deriving Highly Available Quorum Systems from Structural Failure Models - Storm, Christian; Warns, Timo (2008 Seventh European Dependable Computing Conference, Dependable Computing Conference, 2008. EDCC 2008. Seventh European, 2008)