Jan Bredereke Axel Lankenau A Rigorous View of Mode Confusion. 19-31 2002 conf/safecomp/2002 SAFECOMP http://dx.doi.org/10.1007/3-540-45732-1_4 db/conf/safecomp/safecomp2002.html#BrederekeL02