Modelling Foundations and Applications - Anthony Anjorin, Huáscar Espinoza (Springer, 2017)