Lindoso Jr., Waldeck, 		Nogueira, Sidney, 		Domingues, Renato, E 		Lima, Lucas.
" Visual Specification of Properties for Robotic Designs" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)