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