Security game for cyber physical systems. - Kamrul Hasan 008; Sachin Shetty; John Sokolowski; Deepak K. Tosh (SpringSim (CNS), 2018)