Deriving event-based transition systems from goal-oriented requirements models

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. Deriving event-based transition systems from goal-oriented requirements models. Automated Software Engineering, 15(2):175-206, 2008. [doi]

@article{LetierKMU08,
  title = {Deriving event-based transition systems from goal-oriented requirements models},
  author = {Emmanuel Letier and Jeff Kramer and Jeff Magee and Sebastián Uchitel},
  year = {2008},
  doi = {10.1007/s10515-008-0027-7},
  url = {http://dx.doi.org/10.1007/s10515-008-0027-7},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/LetierKMU08},
  cites = {0},
  citedby = {0},
  journal = {Automated Software Engineering},
  volume = {15},
  number = {2},
  pages = {175-206},
}