On the Availability Property and Its Metric for NPP IACS | IEEE Conference Publication | IEEE Xplore