_id,doi,title
4537,10.1007/978-3-540-71209-1_21,Assume-guarantee synthesis