Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers - Machado, Ricardo J.; Maciel, Rita Suzana P.; Rubin, Julia; Botterweck, Goetz (Springer Berlin Heidelberg : Imprint: Springer, 2013)