Proceedings of the 7th Workshop on Models@run.time
ACM Digital Library