DOI,IST REx ID,Title of publication
10.1007/BFb0028774,4604,Mocha: Modularity in model checking