Markus Rabe Frank-Walter Jaekel The MISSION Project. 235-242 2002 conf/ifip5-12/2002 ICEIMT db/conf/ifip5-12/ifip5-12-2002.html#RabeJ02