Model-Based Methodologies for Pervasive and Embedded Software - Machado (Springer Berlin Heidelberg, 2013)