An Approach for Formal Analysis of the Security of a Water Treatment Testbed. - Sai Sidharth Patlolla; Bruce M. McMillin; Sridhar Adepu; Aditya Mathur (PRDC, 2018)