Advanced information systems engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, proceedings (Berlín Springer, 2013)