_id,doi,title
4604,10.1007/BFb0028774,Mocha: Modularity in model checking
4488,10.1007/BFb0028765,"You assume, we guarantee: Methodology and case studies"
4489,10.1007/BFb0028745,From pre-historic to post-modern symbolic model checking