_id,doi,title
4577,10.1109/WPC.2004.1311069  ,An eclipse plug-in for model checking