Text this: Estudo e especificação de um supervisor de controle para um robo industrial