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

Emmanuel LetierJeff KramerJeff MageeSebastián Uchitel
Published in: Autom. Softw. Eng. (2008)