_id,doi,title
4370,1568,On synthesizing controllers from bounded-response properties