Aplicação de coerência semântica na detecção de colisões em simuladores de robôs - Miguel, Rodrigo (2010)