_id,doi,title
4567,10.1007/s10009-007-0044-z,The software model checker BLAST: Applications to software engineering