@article{4887,
  title = "Regular repair of specifications",
  author = "Michael Benedikt and Gabriele Puppis and Cristian Riveros",
  year = "2011",
  journal = "26th Annual IEEE Symposium on Logic in Computer Science (LICS)",
  location = "Toronto, Canada",
  month = "June",
}