@misc{indiciae6de329680e5e,
  title = {A contract-based method to specify stimulus-response requirements},
  author = {Alexandr Naumchev and Manuel Mazzara and Bertrand Meyer and Jean-Michel Bruel and Florian Galinier and Sophie Ebersold},
  year = {2017},
  url = {https://arxiv.org/abs/1704.04905},
  note = {Source identifier: 1704.04905}
}