Cybernetic modeling of Industrial Control Systems: Towards threat analysis of critical infrastructure. - Abhinav Biswas; Sukanya Karunakaran (CoRR, 2015)