Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy - Baugh, John; Altuntas, Alper (Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016)