@misc{W2151451947,
  author = {Axel van Lamsweerde},
  title = {Goal-oriented requirements engineering: a guided tour},
  year = {2002},
  doi = {https://doi.org/10.1109/isre.2001.948567}
}