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. 175-206 2008 15 Autom. Softw. Eng. 2 http://dx.doi.org/10.1007/s10515-008-0027-7 db/journals/ase/ase15.html#LetierKMU08