Survivability analysis of a sewage treatment facility using hybrid Petri nets.