DOI,IST REx ID,Title of publication
10.1109/WPC.2004.1311069  ,4577,An eclipse plug-in for model checking