DOI,IST REx ID,Research Group,Title of publication
10.1007/s00450-013-0251-7,2289,ToHe,Quantitative reactive modeling and verification