Text this: Generalisation of availability models for resilient systems with online verification