DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis