@misc{W2017739343,
  author = {Anne Dardenne and Axel van Lamsweerde and Stephen Fickas},
  title = {Goal-directed requirements acquisition},
  year = {1993},
  howpublished = {Science of Computer Programming},
  doi = {https://doi.org/10.1016/0167-6423(93)90021-g}
}