Integer Overflow Detection in Hardware Designs at the Specification Level Topics: Model Transformation; Model Transformations and Generative Approaches; Reasoning about Models In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 41-48, 2020 , Valletta, Malta