S. M. Azevedo et al.,  "On the use of model transformations for the automation of the 4SRS transition method", in Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing, Marko Bajec, Johann Eder, Ed., Gdansk, Springer, 2012, vol. 112, pp. 249-264