@misc{indiciaebbb7cc519fd6,
  title = {Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations},
  author = {Ipsita Koley and Saurav Kumar Ghosh and Soumyajit Dey and Debdeep Mukhopadhyay and Amogh Kashyap K N and Sachin Kumar Singh and Lavanya Lokesh and Jithin Nalu Purakkal and Nishant Sinha},
  year = {2020},
  url = {https://arxiv.org/abs/2002.12412},
  note = {Source identifier: 2002.12412}
}