RT DF A1 Das, Dipanjan.Computer Science. T1 Finding Attacks and Vulnerabilities in Critical Systems- [electronic resource]