On the use of model transformations for the automation of the 4SRS transition method - Azevedo, S.; Machado, R. J.; Maciel, R. S. P. (Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing, 2012)