Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
ACM Digital Library