Title: Mathematical models for operational availability