Sébastien Briais Uwe Nestmann Mobile Objects "Must" Move Safely. 129-146 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#BriaisN02