DOI,IST REx ID,Title of publication
10.1109/ICSE.2001.919196,4600,jMocha: A model-checking tool that exploits design structure