Modelling Foundations and Applications - Andrzej Wąsowski, Henrik Lönn; Lönn, Henrik (Springer International Publishing, 2016)