Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
ACM Digital Library