Title: On the availability of failure prone systems