Bernadette Charron-Bost Sam Toueg Anindya Basu Revisiting Safety and Liveness in the Context of Failures. 552-565 http://link.springer.de/link/service/series/0558/bibs/1877/18770552.htm 2000 conf/concur/2000 CONCUR db/conf/concur/concur2000.html#Charron-BostTB00