DOI,IST REx ID,Research Group,Title of publication
10.1007/s10009-015-0393-y,1705,ToHe,Guided search for hybrid systems based on coarse-grained space abstractions