DOI,IST REx ID,Title of publication
10.1007/3-540-48320-9_23,4485,Rectangular hybrid games
10.1007/3-540-48320-9_8,4602,Automating modular verification