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