Cyber-Physical System Security of Surface Ships using Intelligent Constraints. - Daniel Butchko; Brien Croteau; Kiriakos Kiriakidis (ICC Workshops, 2021)