_id,doi,title
4604,10.1007/BFb0028774,Mocha: Modularity in model checking