High Level Models And Methodologies For Information Systems - Isaias (Springer New York, 2015)