_id,doi,title
4489,10.1007/BFb0028745,From pre-historic to post-modern symbolic model checking