_id,doi,title
4602,10.1007/3-540-48320-9_8,Automating modular verification
4485,10.1007/3-540-48320-9_23,Rectangular hybrid games