_id,doi,title
3359,10.1145/2038642.2038666,From boolean to quantitative synthesis