_id,doi,title
2289,10.1007/s00450-013-0251-7,Quantitative reactive modeling and verification