Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. - Marussy, Kristóf; Ficsor, Attila; Semeráth, Oszkár; Varró, Dániel (ICSE: International Conference on Software Engineering, 2024)