DOI,IST REx ID,Title of publication
10.1007/978-3-540-39910-0_16,4461,Extreme model checking