Modelling Foundations and Applications - Taentzer; Bordeleau, Francis (Springer International Publishing, 2015)