Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets | IEEE Conference Publication | IEEE Xplore