Raphael R. Some Algirdas Avizienis Jiri Gaisler Hirokazu Ihara Shubu Mukherjee Neeraj Suri Panel Summary Statements. 335-40 2004 conf/prdc/2004 PRDC http://csdl.computer.org/comp/proceedings/prdc/2004/2076/00/20760335abs.htm db/conf/prdc/prdc2004.html#SomeAGIMS04