_id,doi,title
4471,10.1007/3-540-45465-9_55,Synthesis of uninitialized systems