DOI,IST REx ID,Title of publication
10.1023/A:1026228213080,4460,From pre-historic to post-modern symbolic model checking