_id,doi,title
4600,10.1109/ICSE.2001.919196,jMocha: A model-checking tool that exploits design structure