Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. - Ipsita Koley; Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay; Amogh Kashyap K. N.; Sachin Kumar Singh; Lavanya Lokesh; Jithin Nalu Purakkal; Nishant Sinha 003 (DATE, 2020)