DOI,IST REx ID,Title of publication
10.1007/s10009-007-0044-z,4567,The software model checker BLAST: Applications to software engineering