Gullelala Jadoon, Maurice H. ter Beek, Alessio Ferrari 0001. Model transformation and property preservation in rigorous software development: A systematic literature review. Journal of Systems and Software, 230:112508, 2025. [doi]
Abstract is missing.