Azevedo, S., Machado, R. J. & Maciel, R. S. P. (2012). On the use of model transformations for the automation of the 4SRS transition method. In Marko Bajec, Johann Eder (Ed.), Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing. (pp. 249-264). Gdansk: Springer.