DOI,IST REx ID,Title of publication
10.1007/BFb0028745,4489,From pre-historic to post-modern symbolic model checking