@misc{indiciaed53d983fa4b5,
  title = {Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach},
  author = {Partha Pratim Ray and Ansuman Banerjee and Banibrata Bag},
  year = {2012},
  url = {https://arxiv.org/abs/1208.0592},
  note = {Source identifier: 1208.0592}
}