@misc{indiciaefb03db90a2c2,
  title = {Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements},
  author = {Gustavo Carvalho and Igor Meira},
  year = {2019},
  url = {https://arxiv.org/abs/1910.13553},
  note = {Source identifier: 1910.13553}
}