_id,doi,title
3877,10.1007/978-3-540-85361-9_14,Environment assumptions for synthesis