KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies
B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.