DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-13338-6_6,1869,ToHe,Suraq - a controller synthesis tool using uninterpreted functions