“Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers”, vol. 7706. Springer, 2013, doi: 10.1007/978-3-642-38209-3. Keywords