DOI,IST REx ID,Title of publication
10.1007/BFb0028765,4488,"You assume, we guarantee: Methodology and case studies"
10.1007/BFb0028745,4489,From pre-historic to post-modern symbolic model checking
10.1007/BFb0028774,4604,Mocha: Modularity in model checking