Especificando Arquiteturas de Hardware e Software para Robôs Móveis