Mathematical modelling of critical infrastructure reliability