Concurrent Read/Write: Real-Time Theory and Practice. - Horst F. Wedde; Sabine Böhm; Wolfgang Freund (ISORC, 2001)

Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. - Horst F. Wedde; Sabine Böhm; Wolfgang Freund (WORDS, 2001)

Reachability analysis of fault tolerant protocols. - Sabine Böhm (2007)