Machida, Xiang, Tadano, Hosono, 2015. An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System, in: . IEEE.. https://doi.org/10.1109/dsn-w.2015.12