David Morales Tran Cao Son Interval Methods in Robot Navigation. 55-61 1998 4 Reliable Computing 1 http://dx.doi.org/10.1023/A:1009950632694 db/journals/rc/rc4.html#MoralesS98