Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers - Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck ((Lecture Notes in Computer Science))