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

Published in: Autom. Softw. Eng. (2008)

Keyphrases