Industrial Control Systems Security and Resiliency: Practice and Theory