_id,doi,title
1705,10.1007/s10009-015-0393-y,Guided search for hybrid systems based on coarse-grained space abstractions