@misc{indiciaeafa1074397be,
  title = {Observer-based correct-by-design controller synthesis},
  author = {Sofie Haesaert and Paul M. J. Van den Hof and Alessandro Abate},
  year = {2015},
  url = {https://arxiv.org/abs/1509.03427},
  note = {Source identifier: 1509.03427}
}