Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings - Camille Salinesi, Moira C. Norrie, Óscar Pastor ((Lecture Notes in Computer Science))