Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró. Automated generation of consistent models using qualitative abstractions and exploration strategies. Software and Systems Modeling, 21(5):1763-1787, 2022. [doi]
Abstract is missing.