Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods. - Irfan A. Siddavatam; Sachin Parekh; Tanay Shah; Faruk Kazi 001 (Scalable Comput. Pract. Exp., 2017)