Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Lecture Notes in Computer Science 7706, Springer 2013, ISBN 978-3-642-38208-6