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]

Abstract

Abstract is missing.